DS
Ну раз так, то пойду переписывать свои комбинаторы на циклы...
Комбинаторы сейчас есть везде, это не показатель ФП языка
Size: a a a
2020 June 24
ЕС
что да? ты обьявляешь что "императивность" это какое то благо, что нам "нужно" именно менять существующие переменные а не возвращать значения. это бред хотябы потому что в питоне есть функции у которых есть return а не процедуры которые мутируют аргументы
Я говорю что в питоне принято писать императивные программы.
DS
Подобные определения сейчас бессмысленны, потому что тогда все современные языки можно считать ФП.
DS
Что сделает такое определение бессмысленным
ЕС
фунции не идиоматичны потому что они работают как экспрешены
Идиоматичны
SP
Я говорю что в питоне принято писать императивные программы.
как это мешает писать императивные программы где if это экспрешен?
ЕС
Комбинаторы сейчас есть везде, это не показатель ФП языка
Показатель, поскольку комбинаторы пришли из фп
t
считайте функциональными языками те, в которых композиция функций является оператором первого порядка 🙂
ЕС
как это мешает писать императивные программы где if это экспрешен?
Потому что иф экспрешен пришел из ФП который противостоит императивному программированию.
t
скала - функциональная, в ней .and_then() или как-то так из коробки есть
SP
Потому что иф экспрешен пришел из ФП который противостоит императивному программированию.
че несешь. а функции пришли откуда то еще?
DS
Показатель, поскольку комбинаторы пришли из фп
Тогда у нас питон настолько же ФП язык, как и раст.
Есть лист компрехенжены из миранды (ФП язык, если что), лямбды, итераторы и всякие itertools
Есть лист компрехенжены из миранды (ФП язык, если что), лямбды, итераторы и всякие itertools
A
Подобные определения сейчас бессмысленны, потому что тогда все современные языки можно считать ФП.
Ну тогда получается, если мы говорим про ссылочную прозрачность значит нам нужна IO монада и удобный способ с ней работать(do notation, for comprehension), и получается что остаются haskell, scala и idris из известного?
DS
Ну тогда получается, если мы говорим про ссылочную прозрачность значит нам нужна IO монада и удобный способ с ней работать(do notation, for comprehension), и получается что остаются haskell, scala и idris из известного?
Да, именно так
ЕС
че несешь. а функции пришли откуда то еще?
Функции тоже, но все об этом забыли.
SP
Функции тоже, но все об этом забыли.
ну вот ты и слился
ЕС
Тогда у нас питон настолько же ФП язык, как и раст.
Есть лист компрехенжены из миранды (ФП язык, если что), лямбды, итераторы и всякие itertools
Есть лист компрехенжены из миранды (ФП язык, если что), лямбды, итераторы и всякие itertools
Там это неидиоматично и неудобно в использовании.
ЕС
ну вот ты и слился
Тебе больше 15 лет?
A
Подобные определения сейчас бессмысленны, потому что тогда все современные языки можно считать ФП.
Ну и да, там врод нет явного определения фп языка. Там просто расписаны отдельные признаки, характерные для фп языков.
DS
Это лист компрехенжены или декораторы (привет композиция функций) не идеоматичны?