Т8
умный прогер сам догадается
Сарказм?
Size: a a a
2020 May 22
G
Т-34 85
ООП не заставляет вообще всю предметную область аннотировать специальными пользовательскими типа
И ФП тоже
Т8
И ФП тоже
А есть ФП на маломощной системе типов?
G
в зависимости от того, что считать ФП)))
я и на идрисе могу маломощную систему типов выстроить)
я и на идрисе могу маломощную систему типов выстроить)
Т8
в зависимости от того, что считать ФП)))
я и на идрисе могу маломощную систему типов выстроить)
я и на идрисе могу маломощную систему типов выстроить)
Как в C++?
G
что как в C++?
Т8
что как в C++?
Систему типов
G
что систему типов? в идрисе описать? ФП как у системы C++?
p
не нужны
asfesd: sdfasdf sdfadsf sfadsf -> sdfasd sdfadsf -> sdfasd sfadsf
asfesd [] = []
asfesd (asdfrevfhyt :: erghytjybg) = sdfasdf asdfrevfhyt :: (asfesd erghytjybg)
asfesd [] = []
asfesd (asdfrevfhyt :: erghytjybg) = sdfasdf asdfrevfhyt :: (asfesd erghytjybg)
Т8
что систему типов? в идрисе описать? ФП как у системы C++?
Возможно ли *нормальное* ФП на такой системе типов как у крестов?
G
asfesd: sdfasdf sdfadsf sfadsf -> sdfasd sdfadsf -> sdfasd sfadsf
asfesd [] = []
asfesd (asdfrevfhyt :: erghytjybg) = sdfasdf asdfrevfhyt :: (asfesd erghytjybg)
asfesd [] = []
asfesd (asdfrevfhyt :: erghytjybg) = sdfasdf asdfrevfhyt :: (asfesd erghytjybg)
пиши
a b c d e f gG
Т-34 85
Возможно ли *нормальное* ФП на такой системе типов как у крестов?
что такое нормальное ФП?
Т8
что такое нормальное ФП?
Монады из коробки чтоб были
p
Т-34 85
Возможно ли *нормальное* ФП на такой системе типов как у крестов?
можно спрятать всю императивочку за STD, оставив снаружи только комбинаторы, но зачем это делать, если в итоге получится раст?
p
и все равно выйдет говно потому что нет do-нотации
p
а ФП без ду выглядит по уебищному, я на расте пробовал, могу скинуть
Т8
и все равно выйдет говно потому что нет do-нотации
В расте есть монады?
p
Т-34 85
В расте есть монады?
Option, Result
p
Iterator
p
а ФП без ду выглядит по уебищному, я на расте пробовал, могу скинуть
