AR
(не уверен, что гуглтранслейт правильно мне перевёл)
Правильно.
Можно
Но тогда следующий стейт надо явно передавать и тащить за собой
Монада просто скрывает это протаскивание
Size: a a a
2020 May 21
I
Тогда можно внутри сделать свою локальную-монадк (шо бы через do удобно писать).
Зачем тащить это в сигнатуру функцию еще и интерпретатор отдельно писать?..
Зачем тащить это в сигнатуру функцию еще и интерпретатор отдельно писать?..
MK
Тогда можно внутри сделать свою локальную-монадк (шо бы через do удобно писать).
Зачем тащить это в сигнатуру функцию еще и интерпретатор отдельно писать?..
Зачем тащить это в сигнатуру функцию еще и интерпретатор отдельно писать?..
Чтобы с другими эффектами композить
YS
Хаскелисты с зашоренным сознанием х(
u
А что подразумевается под "языком"? eDSL?
YS
Синтаксис для решение всяких задач, обычно более конкретных чем "общие"
AV
(докладчик не согласится) структура данных являющаяся функтором на основе, которой создаётся монада позволяющая объединять действия реализующие какой-то эффект
AV
Блин, не помню у Олли же было это всё?
I
Чтобы с другими эффектами композить
Ну не знаю, как-то спорно.
На первый взгляд кажется, что хаскелисты только и пытают приложение монадами обмазывать.
Вместо того что бы отделять чистые компьютейшины от эффектов, как кложуристы те же.
Хотя может тут просто "сферический в вакуме" пример.
На первый взгляд кажется, что хаскелисты только и пытают приложение монадами обмазывать.
Вместо того что бы отделять чистые компьютейшины от эффектов, как кложуристы те же.
Хотя может тут просто "сферический в вакуме" пример.
AV
во нашёл, 2016 год
AV
Ну не знаю, как-то спорно.
На первый взгляд кажется, что хаскелисты только и пытают приложение монадами обмазывать.
Вместо того что бы отделять чистые компьютейшины от эффектов, как кложуристы те же.
Хотя может тут просто "сферический в вакуме" пример.
На первый взгляд кажется, что хаскелисты только и пытают приложение монадами обмазывать.
Вместо того что бы отделять чистые компьютейшины от эффектов, как кложуристы те же.
Хотя может тут просто "сферический в вакуме" пример.
Континуейшены тоже монады
AV
Ну если без эффектов лишних
AV
Просто кложуристы боятся называть их m-word'ом
АХ
Предлагаю вместо слова монада использовать:
а вместо фри монада
тогда объяснения будут понятнее
sehrschwierigerbegriffа вместо фри монада
sehreinfacherbegriffтогда объяснения будут понятнее
Заменим
Functor => Applicative => Monad на Малявина => Фиговина => Муровина!AV
Нет, это слишком просто, надо чтобы было так, что язык сломаешь
AV
В этом случае не захочется слишком часто говорить эти слова