к
Size: a a a
2021 March 02
AP
Зачем мне кортеж из строки и були под именем "точка"?
Но в целом, я понимаю ваше желание: оно типично для людей пришедших из ООП особенно. Но тайп классы так не используются.
[
так он тоже не вйыдет
В функции getX - выйдет
[
Но в целом, я понимаю ваше желание: оно типично для людей пришедших из ООП особенно. Но тайп классы так не используются.
Знаю один хак с юзингами из плюсов для написания фреймворков с возможной подменой типов, но мне кажется, что в хаскеле он неприменим
[
using Cv::String = std::string;
Если хочется изменить внутреннюю реализацию стринги, создавай класс Cv::String, копируй внешнее апи стд-стринги и пиши внутри что хочешь. А остальной код вообще можно не трогать.
Если хочется изменить внутреннюю реализацию стринги, создавай класс Cv::String, копируй внешнее апи стд-стринги и пиши внутри что хочешь. А остальной код вообще можно не трогать.
AP
using Cv::String = std::string;
Если хочется изменить внутреннюю реализацию стринги, создавай класс Cv::String, копируй внешнее апи стд-стринги и пиши внутри что хочешь. А остальной код вообще можно не трогать.
Если хочется изменить внутреннюю реализацию стринги, создавай класс Cv::String, копируй внешнее апи стд-стринги и пиши внутри что хочешь. А остальной код вообще можно не трогать.
type тоже так можно использовать, но тайп классы тут не при чем.
к
если хочется тип, в котором гарантированно могут быть только нумы, то вот он
data Point a = Num a => Point a a
-- или
data Point a where
Point :: Num a => a -> a -> Point a
s :: Point a -> a
s (Point a b) = a + b
тут при создании значения типа Point требуется, чтобы инстанс Num был в контексте
а при матчинге Point этот инстанс из конструктора достается
data Point a = Num a => Point a a
-- или
data Point a where
Point :: Num a => a -> a -> Point a
s :: Point a -> a
s (Point a b) = a + b
тут при создании значения типа Point требуется, чтобы инстанс Num был в контексте
а при матчинге Point этот инстанс из конструктора достается
[
Первый вариант ихмо читабельнее
[
понял, дойду и до даты потом
[
Хм, а мейби можно так описывать?
[
Понял, принял. Воспринимать data как растовые енумы оказалось довольно просто для понимания. Хотя судя по всему, там дальше пойдёт сложная хаскельная магия
K
Понял, принял. Воспринимать data как растовые енумы оказалось довольно просто для понимания. Хотя судя по всему, там дальше пойдёт сложная хаскельная магия
Нет там никакой хаскелльно магии
JS
да, в Расте больше магии для енумов