ДБ
но щас уже понимаю что нормально сделать
IMapable и IBindable не выйдет
IMapable и IBindable не выйдет
Size: a a a
2021 March 18
AH
и погнали ручками все монадки обмазывать
ДБ
не выходит, завтык на этом дженерике
AH
не выходит, завтык на этом дженерике
так у тебя YaMonada от пары типов и вперде
AH
короче, затыка тут нет, просто у тебя дженерики не будут так бодро скалироваться и тебе придется бойлерплейтить много, как в Linq бойлерплейтят одно и то же для каждого вида коллекции
I
в F# можно сделать аналог такого дженерика?
scala :
haskell:
пытаюсь сделать
fmap : ('a -> 'b) -> 'f 'a -> 'f 'b
но чет не выходит у меня сделать прям общий дженерик
хочу принимать любой контейнерный тип
scala :
def do[C[_]] () = ...
haskell:
fmap :: (a -> b) -> f a -> f b
пытаюсь сделать
fmap : ('a -> 'b) -> 'f 'a -> 'f 'b
но чет не выходит у меня сделать прям общий дженерик
хочу принимать любой контейнерный тип
ДБ
даа
I
Ну в эфшарп плюсе давно же обошлись
I
Смысл пилить тоже самое?
ДБ
там srtp
I
ну и что?
ДБ
хочу посторить подобное чтоб понять тему
I
свою цель выполняет же
AH
там srtp
без srtp hkt в F# не сделать, так как srtp позволяет вывод типов убрать с уровня рантайма (где это запрещено) полностью
AH
и отдает более умному компилятору
VZ
Смысл пилить тоже самое?
Чтобы потом было 7000 разных либ, которые это имплементят, очевидно же.
ДБ
можете дать пример активпаттерна |Functor| + функцию
let fmap f (Functor x) = f x
let fmap f (Functor x) = f x
I
Смысл пилить тоже самое?
а они потом на этих либах тесты гоняют))
VK
Чтобы потом было 7000 разных либ, которые это имплементят, очевидно же.
Которые будят одинаково хейтить
ДБ
я для саморазвития