DS
Т-34 85
это не напрямую, а через эмуляцию
Тут же где-то месяц назад были гигантские обсуждения ссылочной прозрачности. Тебе туда.
Size: a a a
2020 May 13
JC
Ну мы ж функциональщики
JC
Напрямую - не напрямую, доказали эквивалентность значит можно
JC
Хотя я не функциональщик конечно
Т8
Напрямую - не напрямую, доказали эквивалентность значит можно
на сях можно писать в ооп стиле
Т8
значит, это ооп?
Т8
ассемблер, кстати, тоже тьюринг полный
JC
Ну, хз за ооп.
Для меня ФП это отметание некоректных программ.
Си не может отмести некоректные программы, Хаскель может.
Для меня ФП это отметание некоректных программ.
Си не может отмести некоректные программы, Хаскель может.
Т8
Ну, хз за ооп.
Для меня ФП это отметание некоректных программ.
Си не может отмести некоректные программы, Хаскель может.
Для меня ФП это отметание некоректных программ.
Си не может отмести некоректные программы, Хаскель может.
ясно
JC
Хотя конечно это не защитит от перепутанных <
JC
Но иметь под контролем стэйт это удобнее, чем не иметь.
Т8
круто! Только зачем такие дебри, если можно просто взять императивный язык... Наверняка ещё и проще использовать будет по сравнению с ST монадой. А если уж захочется функциональщины, можно навешивать const на переменные
DS
Т-34 85
круто! Только зачем такие дебри, если можно просто взять императивный язык... Наверняка ещё и проще использовать будет по сравнению с ST монадой. А если уж захочется функциональщины, можно навешивать const на переменные
Потому что const != функциональщина
JC
Ну и как-бы, проект пишется командой
Т8
Потому что const != функциональщина
ещё как можно больше стейтментов переделать в экспрешины
Т8
и тогда будет похоже
JC
Если юзать императивный язык, то придется переизобретать хаскель, чтоб получать те гарантии, которые уже есть.
JC
А если не переизобретать то привет гонки данных и вот это все.
p
DS
Т-34 85
ещё как можно больше стейтментов переделать в экспрешины
Так речь в том, что эргономики использования будет куда меньше, чем в языке, где это есть из коробки.