Cualquier mónada también es un funtor aplicativo y cualquier funtor aplicativo es un ficticio. Además, cualquier comonad es un functor. ¿Existe un concepto similar entre comonads y functors, algo así como un co-aplicador y cuáles son sus
Cualquier mónada también es un funtor aplicativo y cualquier funtor aplicativo es un ficticio. Además, cualquier comonad es un functor. ¿Existe un concepto similar entre comonads y functors, algo así como un co-aplicador y cuáles son sus
Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ",...
Recordemos la transformación de paso de continuación (transformación CPS) que lleva a β A : = R R A (donde R está fijo) yf : A → B a β f : β A → β B definido por βAAAβA:=RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRf:A→Bf:A→Bf : A \to Bβf:βA→βBβf:βA→βB\beta f : \beta A \to \beta B De hecho,...
Seguimiento ¿Cuál es un ejemplo de una mónada que es una alternativa pero no una MonadPlus? : Supongamos que es una mónada. ¿Cuáles son las relaciones betweem m ser una alternativa , un MonadPlusCatch y una MonadPlusDistr ? metrommmetrommPara cada uno de los seis pares posibles, me gustaría tener...
La mayoría de los recursos con respecto a las nociones categóricas en la programación describen mónadas, pero nunca he visto una descripción categórica de los transformadores de mónadas. ¿Cómo podrían describirse los transformadores de mónada en los términos de la teoría de categorías? En...
Esta es una confusión de referencia. A veces veo que la gente usa el término "metalenguaje computacional de Moggi" para referirse al cálculo presentado por Moggi, y a veces al "cálculo lambda computacional de Moggi". A veces usan λm lλmetrol\lambda_{ml} y a veces λCλC\lambda_c . Siempre he asumido...