Запитання з тегом «monad»

Будь-яка монада також є прикладним функціонером, а будь-який прикладний функтор - функтор. Також будь-яка команда є функтором. Чи існує подібне поняття між комоданами та функторами, чимось на зразок коплікативного функтора, і які його властивості? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ \mbox{Applicative …

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 → β B βАAAβA : …

13 functional-programming  monad  continuations  cps-transforms 

Слідування Що таке приклад Monad, який є Альтернативою, але не MonadPlus? : Припустимо, - монада. Які відносини betweem будучи Alternative , а MonadPlusCatch і MonadPlusDistr ? ммmmмmmДля кожної з шести можливих пар я хотів би мати доказ того, що одна має на увазі інше, або зустрічний приклад того, що це …

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