Вопросы с тегом «monad»

Любая монада также является аппликативным функтором, а любой аппликативный функтор - функтором. Также любая комонада является функтором. Существует ли похожая концепция между комонадами и функторами, что-то вроде ко-аппликативного функтора, и каковы его свойства? \begin{array}{c} \end{array} ФУНКТОРЫ↑Аппликативные функторы↑МонадыФУНКТОРЫ↑? ? ?↑ComonadsФУНКТОРЫФУНКТОРЫ↑↑Аппликативные функторы???↑↑МонадыComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ …

17 ct.category-theory  monad  applicative  comonad 

Фон . Я студент бакалавриата, который интересуется исследованиями, связанными с теорией категорий, монадами и Хаскеллом, и я хочу найти тему для своей диссертации бакалавра в этой области. Я посмотрел на бумагу Эудженио Могги , « Понятия вычислений и монад », 1991, и я пока не очень разбираюсь в этом. Возможно, …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Вспомните преобразование прохождения продолжения (преобразование CPS), которое переводит в (где фиксировано) и до определяется как На самом деле у нас есть монада продолжения с единицей определенной как и умножение определяемое как β A : = R R A R f : A → B β f : β A → …

13 functional-programming  monad  continuations  cps-transforms 

В продолжение Каков пример Монады, которая является Альтернативой, но не МонадПлюс? : Предположим, является монадой. Каковы отношения betweem м будучи Alternative , а MonadPlusCatch и MonadPlusDistr ? mmmmmmДля каждой из шести возможных пар я хотел бы иметь либо доказательство того, что одно подразумевает другое, либо контрпример, что это не так. …

12 pl.programming-languages  functional-programming  haskell  monad  applicative