Bütün monadlar monooiddirmi?
Bütün monadlar monooiddirmi?

Video: Bütün monadlar monooiddirmi?

Video: Bütün monadlar monooiddirmi?
Video: Zihin Felsefesi 4 (Leibniz 2) 2024, Dekabr
Anonim

Yaxşı deyilmiş, bəlkə də ən qısa cavab belədir: A monad sadəcə a monoid endofunktorlar kateqoriyasında. qane etdi monoid aksiomalar (i. & ii.), a monad kimi görmək olar monoid iki təbii çevrilmə ilə birlikdə endofunktordur.

Burada Monad Endofunctor nədir?

Kateqoriya nəzəriyyəsində riyaziyyatın bir qolu, a monad (həmçinin üçlü, triad, standart konstruksiya və fundamental tikinti) birdir endofunktor (kateqoriyanı özünə uyğunlaşdıran funktor), müəyyən uyğunluq şərtlərini yerinə yetirmək üçün tələb olunan iki təbii çevrilmə ilə birlikdə.

Sonradan sual yaranır ki, Bifunktor nədir? A bifunktor (həmçinin ikili funktor kimi tanınır) domeni məhsul kateqoriyası olan funktordur. Onu iki arqumentdə funktor kimi görmək olar. Hom funktoru təbii bir nümunədir; bir arqumentdə kontravariant, digərində kovariantdır. Multifunktor funktor konsepsiyasının n dəyişənə ümumiləşdirilməsidir.

Sonra proqramlaşdırmada Monad nədir?

Vikipediyadan: Funksional olaraq proqramlaşdırma , a monad hesablamaları təmsil etmək üçün istifadə edilən bir növ mücərrəd məlumat növüdür (domen modelində verilənlər əvəzinə). Monadlar imkan verir proqramçı Hər bir hərəkətin təmin etdiyi əlavə emal qaydaları ilə bəzədilmiş bir boru kəməri qurmaq üçün hərəkətləri birlikdə zəncirləmək monad.

Monad Haskell nədir?

In Haskell a monad tip konstruktoru (bunu m adlandırın), bu tip dəyərləri yaradan funksiya (a -> ma) və yeni hesablama yaratmaq üçün bu tip dəyərləri bu tip dəyərləri yaradan hesablamalarla birləşdirən funksiya kimi təmsil olunur. bu tip qiymətlər (ma -> (a -> mb) -> mb).

Tövsiyə: