A
Size: a a a
2019 October 25
АГ
Кстати, там есть какое-то особое решение expression problem, специалное для free monad?
Я когда про expression problem слышу, всегда хочу переспросить, а какую задачу требуется решить. Потому что решать некую абстрактную expresstion problem (про которую за пределами Хаскеля вообще, похоже, не знают) - это мне непонятно.
Но решение точно существует, потому что см. beam. Там Church Encoded Free Monad в движке, и есть требуемая расширяемость. Но это все, конечно, безумная машинерия там
Но решение точно существует, потому что см. beam. Там Church Encoded Free Monad в движке, и есть требуемая расширяемость. Но это все, конечно, безумная машинерия там
АГ
клонировал себе гидру, буду её плющить бессонными ночами
Это хорошо, буду рад любому фидбеку
АГ
Вообще, ситуация с Expression Problem очень похожа на то, что вместо понимания основной задачи и требований к ней переходят на конкретные решения Expression Problem. Без объяснения, почему это требуется делать. То есть, имеем классическую ситуацию "X Y Problem"
(https://meta.stackexchange.com/questions/66377/what-is-the-xy-problem)
(https://meta.stackexchange.com/questions/66377/what-is-the-xy-problem)
MK
Гранин опять запрещает академикам решать expression problem!
АГ
И приближаться с их стандартами к проду, ага
AV
Hydra сложная, я пока искал где там код в глубине иерархии, забыл что искал
AV
Я понимаю, почему так делают, но у меня мозгов следить не хватает
АГ
Ну, там внутри фреймворк. Задача в том, чтобы пользователь эту сложность не видел, ему и незачем.
АГ
Но это не так страшно, как упомянутый мной beam. Когда туда заглядываешь, не только про основную задачу забываешь, а и самое зачем родился на свет
АГ
Хайль Гидра
MK
В этой статье есть что-то, чего нет в Gibbons & Wu с таким же названием?
АГ
Я тут читаю какую-то фигню, и она упоминает Гидру? Это та Гидра?
Это вряд ли та же Гидра
2019 October 26
АГ
Все, доклад готов, вброс тоже. Все как вы любите. Приходите!
AV
Запись то будет?
MK
Запись то будет?
Приехал бы лучше!
AV
У нас релиз на следующей неделе, я не уверен, что могу разбрасываться временем так
AV
Может и приеду, но это маловероятно