А
ну это некое промежуточное значение, не известное из кода, зависящее от входных значений, это понятно. но в том виде, как в императивных яп, переменных то нет
ну почти
Size: a a a
2020 October 07
SP
ну это некое промежуточное значение, не известное из кода, зависящее от входных значений, это понятно. но в том виде, как в императивных яп, переменных то нет
а не то что бы они сильно нужны. Это как
let/const в js, в 99% ситуаций хватает constА
есть переменные как в императивных языках
А
только они несколько сложнее устроены
АГ
ну вот да
А
потому что любое действие с ними должно быть в определённой монаде
А
то есть фактически в хаскеле можно делать сайдэффекты
АГ
крч это все игрушки для взрослых умных дядь)
А
но функции с сайдэффектами будут иметь определённый тип
АГ
а есть штуки, на которых делается что-то для людей, для решения задач, т.н. бизнес-задач)
SP
крч это все игрушки для взрослых умных дядь)
что оно позволяет делать это например... взять твой проект и в компайл тайме собрать все SQL-ки которые ты там собираешь и дергаешь в базе и попробовать натравить на схему что бы типы вывести и убедиться что все корректно. Вот такие вот игрушки
ЕР
а есть штуки, на которых делается что-то для людей, для решения задач, т.н. бизнес-задач)
На хаскеле тоже решаются бизнес задачи.
А
а есть штуки, на которых делается что-то для людей, для решения задач, т.н. бизнес-задач)
только интересная тенденция нарисовывается: штуки для решения задач частенько перенимают "игрушечные" штуки из того же хаскеля
SP
а есть штуки, на которых делается что-то для людей, для решения задач, т.н. бизнес-задач)
АГ
На хаскеле тоже решаются бизнес задачи.
в теории как бы да, но на практике едва ли
А
в теории как бы да, но на практике едва ли
это просто экзотика
ЕР
Но вообще не осилить пару простых понятий и после заявить что "бизнесу это не нужно" это сильно.
SP
у гитхаба анализаторы кода которые переходы в их webui реализутю на хаскеле
АГ
надо посмотреть код, интересно. но боюсь не пойму ничего)
SP
скажем так - если у меня будет задача где прям надо загоняться по тому как данные меняются, потоки данных, трансформации и т.д. - я бы серьезно смотрел в сторону хаскеля или чего похожего.