Totes les mónades són monoides?

2024 Autora: Miles Stephen | [email protected]. Última modificació: 2023-12-15 23:34

Una resposta ben dita, potser la més breu, és: A mónada és només un monoide en la categoria d'endofunctors. Satisfet el monoide axiomes (i. i ii.), a mónada es pot veure com a monoide que és un endofunctor juntament amb dues transformacions naturals.

Aquí, què és un endofunctor de la mónada?

En teoria de categories, una branca de les matemàtiques, a mónada (també triple, tríada, construcció estàndard i construcció fonamental) és un endofunctor (un functor que assigna una categoria a si mateix), juntament amb dues transformacions naturals necessàries per complir determinades condicions de coherència.

Posteriorment, la pregunta és, què és un bifunctor? A bifunctor (també conegut com a functor binari) és un functor el domini del qual és una categoria de producte. Es pot veure com un functor en dos arguments. El functor Hom és un exemple natural; és contravariant en un argument, covariant en l'altre. Un multifunctor és una generalització del concepte de functor a n variables.

Aleshores, què és una mónada a la programació?

De la viquipèdia: En funcional programació , a mónada és una mena de tipus de dades abstractes que s'utilitza per representar càlculs (en lloc de dades en el model de domini). Mónades permetre el programador per encadenar accions per construir un pipeline, en el qual cada acció està decorada amb regles de processament addicionals proporcionades pel mónada.

Què és una Monad Haskell?

En Haskell a mónada es representa com un constructor de tipus (anomenar-lo m), una funció que crea valors d'aquest tipus (a -> ma) i una funció que combina valors d'aquest tipus amb càlculs que produeixen valors d'aquest tipus per produir un nou càlcul per a valors d'aquest tipus (ma -> (a -> mb) -> mb).