[
Это почему?
Size: a a a
2021 May 29
KV
Как называется вот этот вот жест пальцами, обозначающий деньги? Короче я вот его показываю
KV
В хаскеле ленивость так сделана просто, и переделать тяжело, если вообще возможно
[
А зачем? Яж не увижу
KV
А зачем люди вертят башкой, когда говорят по телефону? Я не знаю
[
Ну, так нам доказывать завершаемость надо на этапе компиляции, а не исполнения.
AF
Для гибридных языков ==. Без хвостовой рекурсии функциональные алгоритмы будут очень не оптимальны.
KV
А, Вы про завершаемость, а не про _|_ значения
AF
Я с этим сталкивался, т.к. прямо для одного дела переписывал хаскеллевские модули на JS
GP
это шутка, там потом правильное сопоставление идет
KV
Это решаемо
KV
Можно переписать так, чтобы был явный стек, можно сохранять продолжения и перезапускать их, чтобы не вышибало
KV
Но, конечно, js не функциональный язык, без приседаний никак
[
Ну, _|_, как я понимаю, может прилететь либо при error, либо при неполной функции, либо когда оно не может завершиться.
Представим, что функция считается тотальной, если в её теле нет иных нетотальных функций, никаких error и она 100% развершается.
Пока мы используем эти функции, у нас нет никакой возможности получить _|_, isnt it?
Представим, что функция считается тотальной, если в её теле нет иных нетотальных функций, никаких error и она 100% развершается.
Пока мы используем эти функции, у нас нет никакой возможности получить _|_, isnt it?
KV
Вы описываете один способ избавиться от боттомов, но ведь просто есть ещё другой, более очевидный
[
Не знаю, для меня очевиден этот
KV
Странно. Самый простой способ не иметь боттом значений — это просто их убрать из языка же
[
Эм
[
Чтобы убрать эти значения, нужно убрать незавершаемость и частичные функции
[
Т.е. то же, что я описал, но для всего яп