Er alle monader monoider?

2024 Forfatter: Miles Stephen | [email protected]. Sidst ændret: 2023-12-15 23:34

Et velsagt, måske det korteste svar nogensinde er: A monade er bare en monoid i kategorien endofunctors. Tilfreds med monoid aksiomer (i. & ii.), en monade kan ses som en monoid som er en endofunctor sammen med to naturlige transformationer.

Heri, hvad er en Monad Endofunctor?

I kategoriteori, en gren af matematik, en monade (også triple, triade, standard konstruktion og fundamental konstruktion) er en endofunktor (en funktion, der kortlægger en kategori til sig selv), sammen med to naturlige transformationer, der kræves for at opfylde visse sammenhængsbetingelser.

Efterfølgende er spørgsmålet, hvad er en Bifunctor? EN bifunktionor (også kendt som en binær funktion) er en funktion, hvis domæne er en produktkategori. Det kan ses som en funktion i to argumenter. Hom-funktionen er et naturligt eksempel; det er kontravariant i det ene argument, kovariant i det andet. En multifunktion er en generalisering af funktionskonceptet til n variable.

Hvad er så en monade i programmering?

Fra wikipedia: I funktionel programmering , a monade er en slags abstrakt datatype, der bruges til at repræsentere beregninger (i stedet for data i domænemodellen). monader tillade programmør at kæde handlinger sammen for at bygge en pipeline, hvor hver handling er dekoreret med yderligere behandlingsregler leveret af monade.

Hvad er en Monad Haskell?

I Haskell -en monade er repræsenteret som en typekonstruktør (kald det m), en funktion, der bygger værdier af den type (a -> ma), og en funktion, der kombinerer værdier af den type med beregninger, der producerer værdier af den type for at producere en ny beregning for værdier af den type (ma -> (a -> mb) -> mb).