L
зачем генерить, если можно сразу на аппликативах и монадах писать?
ну есть, да. гибкий, да. нет, не серебряная пуля.
Size: a a a
2021 March 18
JS
1) левая рекурсия 2) проверка однозначности 3) гарантированное отсутствие квадратичного бэктрекинга
ну, мне приятнее писать на одном Хаскеле, чем на этих франкенштейнах.
а эти проблемы решаются кратковременным включением мозга.
хм, что-то я звучу как любитель динтипизации...
кстати, почему эти свойства нельзя обеспечить внутренним DSL?
а эти проблемы решаются кратковременным включением мозга.
хм, что-то я звучу как любитель динтипизации...
кстати, почему эти свойства нельзя обеспечить внутренним DSL?
L
ну, мне приятнее писать на одном Хаскеле, чем на этих франкенштейнах.
а эти проблемы решаются кратковременным включением мозга.
хм, что-то я звучу как любитель динтипизации...
кстати, почему эти свойства нельзя обеспечить внутренним DSL?
а эти проблемы решаются кратковременным включением мозга.
хм, что-то я звучу как любитель динтипизации...
кстати, почему эти свойства нельзя обеспечить внутренним DSL?
Я думал об этом, не поверите. Пришёл к выводу что можно, но только для Applicative. А с монадами получается подозрительно похоже на проблему останова. Но похоже никто ещё не сделал.
JS
Я думал об этом, не поверите. Пришёл к выводу что можно, но только для Applicative. А с монадами получается подозрительно похоже на проблему останова. Но похоже никто ещё не сделал.
а на стрелках?
EZ
ну, мне приятнее писать на одном Хаскеле, чем на этих франкенштейнах.
а эти проблемы решаются кратковременным включением мозга.
хм, что-то я звучу как любитель динтипизации...
кстати, почему эти свойства нельзя обеспечить внутренним DSL?
а эти проблемы решаются кратковременным включением мозга.
хм, что-то я звучу как любитель динтипизации...
кстати, почему эти свойства нельзя обеспечить внутренним DSL?
>Приятнее писать на Хаскеле
>Звучу как любитель димтипизации
Понимаю..
>Звучу как любитель димтипизации
Понимаю..
JS
>Приятнее писать на Хаскеле
>Звучу как любитель димтипизации
Понимаю..
>Звучу как любитель димтипизации
Понимаю..
нет, это относилось к ближайшей фразе. динтипизаторы объясняют недостатки языков возможностью программиста думать. то есть фактически обязанностью думать
L
а на стрелках?
Я плоховато понимаю стрелки чтобы что-то про них говорить.
EZ
нет, это относилось к ближайшей фразе. динтипизаторы объясняют недостатки языков возможностью программиста думать. то есть фактически обязанностью думать
Разве? Обычно я думал это просто другой способ со своими плюсами и минусами
L
Разве? Обычно я думал это просто другой способ со своими плюсами и минусами
Да, минус в том что оно грохается в рантайме вместо того чтобы выдать ошибку компиляции) На это обычно ответ "ну надо думать и тесты"
JS
Разве? Обычно я думал это просто другой способ со своими плюсами и минусами
вот это и есть минус для меня
EZ
Да, минус в том что оно грохается в рантайме вместо того чтобы выдать ошибку компиляции) На это обычно ответ "ну надо думать и тесты"
Ну тут другого способа и нет. Это ведь от части правда, а не оправдание.
EZ
Просто пишите программы без ошибок, и не придётся городить всякие типы и проверки при компиляции )
Мат описание, определение данных и описание алгоритма.. Думаю тут побеждает лень
JS
Ну тут другого способа и нет. Это ведь от части правда, а не оправдание.
ну как же? можно добавить в язык проверку типов, можно не добавить. как минимум 2 способа
EZ
А как же метапрограммирование или как там..