История изменений
Исправление www_linux_org_ru, (текущая версия) :
1. Система эффектов реализована библиотекой написанной на Идрисе, см http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf
интересно, прочту
но если у функций есть эффекты, то это уже не фп; а если ты не согласен, тогда какое твое определение фп?
4. Допустим. Если ты уверен, что комбинация функций чистая, но не смог доказать это компилятору, то всегда есть unsafePerformIO. (К чему это вообще?)
не-не-не
хороший язык должен *давать* средства доказать компилятору, что *данная* комбинация нечистых функций является чистой, а функциональные языки (в моем понимании — это языки с функциями без эффектов и с персистентными структурами данных) это в принципе не могут делать
Исправление www_linux_org_ru, :
1. Система эффектов реализована библиотекой написанной на Идрисе, см http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf
интересно, прочту
но у функций если есть эффекты, то это уже не фп; а если ты не согласен, тогда какое твое определение фп?
4. Допустим. Если ты уверен, что комбинация функций чистая, но не смог доказать это компилятору, то всегда есть unsafePerformIO. (К чему это вообще?)
не-не-не
хороший язык должен *давать* средства доказать компилятору, что *данная* комбинация нечистых функций является чистой, а функциональные языки (в моем понимании — это языки с функциями без эффектов и с персистентными структурами данных) это в принципе не могут делать
Исходная версия www_linux_org_ru, :
1. Система эффектов реализована библиотекой написанной на Идрисе, см http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf
интересно, прочту
но у функций если есть эффекты, то это уже не фп; а если ты не согласен, тогда какое твое определение фп?
4. Допустим. Если ты уверен, что комбинация функций чистая, но не смог доказать это компилятору, то всегда есть unsafePerformIO. (К чему это вообще?)
не-не-не
хороший язык должен *давать* средства доказать компилятору, что *данная* комбинация нечистых функций является чистой, а функциональные языки (в моем понимании — это языки без эффектов и с персистентными структурами данных) это в принципе не могут делать