АГ
Пропонентам статической типизации хотелось бы пожелать делать ФП на С++. А то привыкли к белому и пушистому Haskell
Size: a a a
2018 April 02
DZ
я на си делал фп
DZ
в плюсах-то всё есть, что надо сейчас. там вроде даже лямбды есть
DZ
а когда не было, их можно было более-менее нормально изобразить
АГ
Вот как раз лямбды там чудовищная боль
DZ
на си попробуйте, узнаете, что такое настоящая боль
λO
На шпинделе я вертел делать на плюсах иммутабельные структурки
АГ
Потому что нельзя сделать темплитную лямбду с шаблонными параметрами, а генеричная лямбда с auto нифига ни к чему не приводится
АГ
Как итог - нет нормального способа сделать каррирование
АГ
С этим auto вывод типов такой, что лучше бы его вообще не было. Я не понимаю, в чем большая проблема плюсовикам сделать темплитную std::function.
АГ
на си попробуйте, узнаете, что такое настоящая боль
Больше боли богу ФП!
DZ
ну это же си. на нём что так больно, что эдак больно
АГ
А Линусу норм
PK
То есть «проблема хаскеля» в данном случае, что при построении свертки на каждый тапл будет выделена память в куче?
PK
Потому что это особенность таплов в хаскеле?
AI
Достаточно сделать свой Табл, со строгостью и инстансами
AI
Причем, для этого не надо лезть в ядро - просто написать свой новый тип. Но умельцы находят экзотические варианты решения в рамках существующих ленивых типов и структур
AI
например так
cpu time: 2.22 sec, memory peak: 189 Mb
cpu time: 0.31 sec, memory peak: 3 Mb
mean1 = uncurry (/) . foldl (\(s,n) x -> (s+x, n+1)) (0, 0)
meancore (x:xs) s n = (meancore xs $! (s+x)) $! (n+1)
meancore [] s n = s / n
mean2 l = meancore l 0 0
main = print $ mean1 [1..1E6]
cpu time: 2.22 sec, memory peak: 189 Mb
main = print $ mean2 [1..1E6]
cpu time: 0.31 sec, memory peak: 3 Mb
PK
Не, буду лучше проституткой.
AI
Тогда тем более стоит разобрать этот пример - он наглядно демонстрирует, что если добавить баксы (дважды), то все пойдет гораздо лучше