JS
лямбда-исчисление работает даже без кремниевого процессора — с карандашом и бумагой
Size: a a a
2021 March 18
VD
Ну тут вроде оба утверждения верны. Что процессор программы на всех языках исполняет одинаково, т.к. они компилятся в один и тот же набор инструкций, т.к. проц ничего другого не умеет. Так и языки в целом чхать хотели на набор инструкций - это проблема компилятора.
EZ
Ну тут вроде оба утверждения верны. Что процессор программы на всех языках исполняет одинаково, т.к. они компилятся в один и тот же набор инструкций, т.к. проц ничего другого не умеет. Так и языки в целом чхать хотели на набор инструкций - это проблема компилятора.
Вот я про тоже
JS
а процессор ведь работает на электричестве?
JS
Вот я про тоже
про что? переход между слоями абстракции ничего не доказывает и не опровергает
VD
а процессор ведь работает на электричестве?
Вообще да, но можно упороться по определениям и привести примеры аналоговых вычислителей.
VD
Ну и в принципе ничего не мешает машкод ручкой и бумагой считать как лямбды
JS
Вообще да, но можно упороться по определениям и привести примеры аналоговых вычислителей.
и цифровых на гидравлике или пневматике
VD
Только стейт хранить совсем неудобно
VD
и цифровых на гидравлике или пневматике
И даже на мускульной тяге вроде
JS
тут вчера на крабах собрали
VD
лолшто?
JS
отправил в личку, чтобы не засорять чат
JS
ну ладно, это Computer Science, по касательной онтопик https://twitter.com/emollick/status/1371932428982493185
MK
MK
Кому тут это было актуально?
DM
да и на поле просто ООП Скала лучшая
а на поле "просто фп" как с этим обстоит?
не трогал cats, но со стороны это переписанный хаскелль с более громоздким синтаксисом
не трогал cats, но со стороны это переписанный хаскелль с более громоздким синтаксисом
JS
а на поле "просто фп" как с этим обстоит?
не трогал cats, но со стороны это переписанный хаскелль с более громоздким синтаксисом
не трогал cats, но со стороны это переписанный хаскелль с более громоздким синтаксисом
Хаскель — золотая середина между удобством и фичами. есть Idris, который типа ещё фичастее, но на нём писать замучаешься. есть языки полегче Хаскеля, но и менее "функциональные"
DM
Хаскель — золотая середина между удобством и фичами. есть Idris, который типа ещё фичастее, но на нём писать замучаешься. есть языки полегче Хаскеля, но и менее "функциональные"
применений идриса кроме как для формальных доказательств не видел, но может не особо интересовался)
JS
а на поле "просто фп" как с этим обстоит?
не трогал cats, но со стороны это переписанный хаскелль с более громоздким синтаксисом
не трогал cats, но со стороны это переписанный хаскелль с более громоздким синтаксисом
если ты должен использовать JVM, а хочется ФП, то Scala — норм. ещё был Frege, умер. Eta вроде бы ещё дёргается