PK
У меня вот в телегу на неделе постучался человек, который хочет Parsec переписать на Дельфи.
Size: a a a
2020 May 14
AI
Правильно, дельфистов полно, а хаскелиста поди найди
PK
Решает задачу бизнеса, но как парсер-комбинаторы работают пока понять не может
AV
А мне для эффективности может быть важно позволяет ли технология решить задачу и какое отношение cost vs value
n
Все правильно, в тот же C# async/await (читай - do-notation для футур/промизов/тасков) пришли не так давно.
Почему это do-notation?
PK
А что это?
AV
Про монады не знаю, у меня их не то, чтобы много, а вот типы и классы типов это важно
PK
Это do-notation в рамках одной монады, в F# оно работает для любой монады
AI
Почему это do-notation?
такой же сахар эмулирующий последовательность исполнения инструкций
AI
вместо цепочек Then
n
А что это?
Особый сахар. Нет же никакого разворачивания вызовов, как с функторами
PK
ну да, вытаскивающий замыкания (clojure) и пробрасывающий дальше по контексту
PK
Особый сахар. Нет же никакого разворачивания вызовов, как с функторами
ты наверное про аппликативные функторы?
n
такой же сахар эмулирующий последовательность исполнения инструкций
Это больше на обычный лок из многопоточки похоже.
n
ты наверное про аппликативные функторы?
Да
AI
У каждого свои аналогии, см. про котенка выше
PK
Все эти аналогии - это про понять математику, а потом ее применить, чтобы решить задачи бизнеса (что сложно).
PK
в смысле? await - это тупо вызов
bindAI
да дались вам эти задачи бизнеса