SM
есть еще call-by-coneed (мемоизация козначений) :)
И недетерминированные, если на то пошло
Size: a a a
2020 April 16
T
потому, что ФП пошло в массы
А причина этому?
K
созрело новое поколение людей, которым неймётся
SM
А причина этому?
Хаскель 😀
T
Хаскель 😀
Это рекурсия такая чтоль?
T
созрело новое поколение людей, которым неймётся
А раньше таких не было разве?
K
А раньше таких не было разве?
Раньше были другие, это же естественный двигатель развития
K
Просто самое молодое поколение не привыкло работать и думает, что за них всё сделает компилятор только потому, что это выглядит возможным )))) Я шучу, конечно
K
вообще скорее дело к том, насколько высокий уровень абстракции теперь требуется: одних только распространённых платформ уже десятки, если не сотни, огромное разнообразие каналов передачи, хранения данных и т.п., это всё требует более мощных абстракций, а они нуждаются в более глубокой систематизации, наверно ФП или даже в боле широком смиысле - декларативное программирование для этого подходит лучше
A
Мне казалось что почти любая платформа будет поддерживать в первую очередь Си (как и системные библиотеки, которые редко пишутся на чём-либо другом), поэтому аргумент с платформами выглядит сомнительно. А много систем хранения данных написано на ФП языке?
K
платформа - это не только процессор
T
Ну тут как посмотреть. Многие молодые программисты учатся у старой школы больше. ФП заинтересовались те, кто до это писал на Жабе, ЖС и питоне
A
Тогда можно пояснить что это?
K
это ещё операционка и инфраструктура из других программ, с которыми надо интегрироваться (они ещё и меняются постоянно)
T
Тогда можно пояснить что это?
ЦПУ, ГПУ, переферия, ОС и прочая, прочая, прочая...
AG
А как можно запомнить козначение?.. Не очень понятно.
K
Си ясное дело никуда не денется, как никуда не денутся транзисторы из процессоров в обозримой перспективе, но реально пользовательские задачи решаются не на Си
AG
> Once control effects are involved, call-by-coneed evaluation can be seen as a more efficient approach to strictness compared with call-by-value, where the computation of labeled call sites are remembered and shared
A
Про пользовательские - от части справедливо. Пока что я вижу что идёт большое смещение в сторону "веб-приложений", но это тоже не ФП в чистом виде. Есть довольно узкие области где, например, незаменим Эрланг, но это скорее исключения.
ЗП
козначения это стримы?)