Please enable JavaScript.

Coggle requires JavaScript to display documents.

Представители классов типов - Coggle Diagram

- - - - Конструкторы
        
        put x
        
        modify f
        
        get
        
        gets f
      - Совмещает идеи Reader и Writer
      - Содержимое аналогично Reader и Writer
      - Раннеры
        
        runState - достать содержимое
        
        evalState - достать значение
        
        execState - достать состояние
    - - Каждая монада содержит добавочное состояние
      - Содержимое монады - пара (a, log)
      - Основной конструктор tell log = writer ((), log)
    - - Содержимое монады - функция типа env -> a
      - Каждая стрелка получает по цепочке константное окружение
      - Конструкторы
        
        ask помещает окружение в значение
        
        asks f
        
        local f rdr трансформирует окружение Reader
  - - - Расширение для Maybe
      - Указание информации об ошибке
      - either leftHandler rightHandler e
    - - Just x | Nothing
      - Стрелке не нужно проверять аргумент: клиентский код написан, будто аргумент всегда корректен
      - Побочный эффект - прерывание вычисления
  - - - Обертка над Either с удобными конструкторами
      - Конструкторы
        
        throwE err
        
        catchE exc errMapper
  - - - getLine
      - putStrLn
  - - - Условное прерывание цепочки
        
        Cont, не вызывающий переданное продолжение
        
        Для удобства есть callCC
  - - - Корутина, рекурсивно содержащая внутри продолжение (другую корутину)
      - При связывании с точкой остановки, монадические вычисления переходят на "этаж" ниже
      - => для преодоления каждой точки остановки нужно вызвать дополнительный runner (нетривиально)
      - В стандартной реализации продолжение в Left, а значение в Right