Teoretyczne informatyka monad

3

Czy istnieje koncepcja czegoś takiego jak funktony kooperacyjne siedzące między comonadami i funktorami?

Każda monada jest również funktorem aplikacyjnym, a każdy funktor aplikacyjny jest funktorem. Ponadto każdy comonad jest funktorem. Czy istnieje podobna koncepcja między comonadami i funktorami, coś w rodzaju funktora kooperacyjnego i jakie są jego właściwości? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & \uparrow \\ …

17 ct.category-theory monad applicative comonad

2

Status quo teorii kategorii i monad w teoretycznych badaniach informatycznych?

Tło . Jestem studentem studiów licencjackich, który interesuje się badaniami związanymi z teorią kategorii, monadami i Haskellem, i chcę znaleźć temat do mojej pracy licencjackiej w tej dziedzinie. Spojrzałem na gazetę Eugenio Moggi , „ Pojęcia obliczeń i monad ”, 1991, i jeszcze niewiele z tego rozumiem. Prawdopodobnie będę potrzebować …

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

2

Kontynuacja przejścia transformacji funkcji binarnych

Przypomnijmy transformację przechodzącą kontynuację (transformacja CPS), która przyjmuje do β A : = R R A (gdzie R jest ustalone) if : A → B do β f : β A → β B zdefiniowane przez βZAAAβOdp . : = RRZAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRfa: A → Bf:A→Bf : A \to …

13 functional-programming monad continuations cps-transforms

2

Jakie są relacje między Alternative, MonadPlus (LeftCatch) i MonadPlus (LeftDistributive)?

Dalsze działania Jaki jest przykład Monady, która jest alternatywą, ale nie MonadPlus? : Załóżmy, że to monada. Jakie są stosunki betweem m bycia alternatywą , a MonadPlusCatch i MonadPlusDistr ? mmmmmmDla każdej z sześciu możliwych par chciałbym mieć albo dowód, że jedna implikuje drugą, lub kontrprzykład, że tak nie jest. …

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

Pytania otagowane jako monad