ЕС
гайз ну насрать же императивный он или нет, этот провокатор же говорит что императивность как то мешает иметь if-expression
Да
Size: a a a
2020 June 24
DS
Еще бы было где-то единое каноничное определение, что считать ФП языком.
Язык, где практично писать весь код в ссылочно прозрачном стиле.
ЕС
В расте ФП штук особо то и нет, языки без гц и ФП дружат очень условно
Паттерны, монады, тайпклассы, итераторы. Мне продолжить?
DS
Паттерны, монады, тайпклассы, итераторы. Мне продолжить?
Там тайплкасс монад не выразим, тайпклассы не связаны с ФП никак, итераторы и паттерн матчинг тоже.
DS
Т.е. эта связь чисто историческая, взяты фишки из ФП языков, но они не делают Раст ФП
A
Паттерны, монады, тайпклассы, итераторы. Мне продолжить?
в расте нет монад
SP
что да? ты обьявляешь что "императивность" это какое то благо, что нам "нужно" именно менять существующие переменные а не возвращать значения. это бред хотябы потому что в питоне есть функции у которых есть return а не процедуры которые мутируют аргументы
ЕС
Язык, где практично писать весь код в ссылочно прозрачном стиле.
Ссылочно прозрачный стиль придуман крестьянами, которые начали использовать ФП языки. Изначально речь шла о программе без мутабельного состояния. Ссылочная прозрачность прилагалась бесплатным бонусом.
A
Язык, где практично писать весь код в ссылочно прозрачном стиле.
Такое себе определение.
A
Язык, где практично писать весь код в ссылочно прозрачном стиле.
SP
фунции не идиоматичны потому что они работают как экспрешены
ЕС
Там тайплкасс монад не выразим, тайпклассы не связаны с ФП никак, итераторы и паттерн матчинг тоже.
Связаны, они впервые появились в ФП языках.
ЕС
Т.е. эта связь чисто историческая, взяты фишки из ФП языков, но они не делают Раст ФП
Делают. В расте можно писать как на ФП.
DS
Связаны, они впервые появились в ФП языках.
Это чисто историческая связь. Это не сильно помогает писать код на расте в ФП стиле
ЕС
в расте нет монад
Есть
A
ЕС
Это чисто историческая связь. Это не сильно помогает писать код на расте в ФП стиле
Ну раз так, то пойду переписывать свои комбинаторы на циклы...
ЕС
SP
олег тут уже не первый раз тролит непопулярными вредными мнениями. или их много?
A
Есть
Покажи.