а
Как мне проаннтоировать что "возвращает нулл если аргумент нулл"? Как мне сделать Some(None)?
А как такое типами выразить?
Size: a a a
2020 February 22
AZ
А как такое типами выразить?
foo :: (Functor f) => f Int -> f Intа
хмм
AZ
foo (Identity 5)
foo (Just 5)а
foo :: (Functor f) => f Int -> f IntНепоняла
AZ
Непоняла
AZ
Identity это враппер который ничего не делает
AZ
есть функция x => x которая ничего не делает, которую мы сиспользуем когда не хотим преобразовывать аргумент
AZ
Identity это то же самое, но на уровне типов: когда мы не хотим заворачивать значение
AZ
enum Identity<T> {
Identity(T)
}AZ
если в расте описать
а
Ладно
DF
Так в функторе может быть и ноне
DF
Ну типа ты же при компиляции не знаешь что там
AZ
для веба берёшь джаву/.нет/пыху и вот тебе всё уже порешали
постоянно ловлю "тип не зарегистрирован" и прочую хуету в шарпе. чяднт?
AZ
Dollar Føølish
Так в функторе может быть и ноне
так это то поведение что мне нужно, если ноне то ноне
DF
Как будет сигнатура конкретная выглядеть?
DF
Ну т.е. та которая под объявлением идет
DF
Вторая третья и т.п.
AZ
а хочешь прикол? есть ещё фабрики фабрик, ничем конструкторы типов не напоминает?
нет, не напоминают. От фабрик хрен абстрагируешься