монада

  • ХабрахабрФото [Перевод] Грокаем монады императивно

    [Перевод] Грокаем монады императивно

    Часть 1 Грокаем монадыЧасть 2 Грокаем монады императивно В предыдущем посте мы переизобрели Монаду на рабочем примере. У нас получился базовый механизм в виде функции andThen для типа option, но мы еще не достигли нашей конечной цели. Мы надеялись, что получится написать код, так же как если бы нам не нужно было обрабатывать значения option. Мы хотели писать в более…

    Читать далее »
  • ХабрахабрФото Стековая машина на моноидах

    Стековая машина на моноидах

    В ней показывается путь от простой реализации исполнителя байт-кода ко всё более и более эффективным версиям. Не так давно на Хабре появилась отличная и вдохновляющая статья про компиляторы и стековые машины. Мне захотелось показать на примере разработки стековой машины, как это можно сделать Haskell-way. В качестве рабочих примеров мы сначала построим интерпретатор, неотделимый от кода в виде EDSL, а потом…

    Читать далее »


Кнопка «Наверх»