Барлық монадалар моноидтар ма?
Барлық монадалар моноидтар ма?

Бейне: Барлық монадалар моноидтар ма?

Бейне: Барлық монадалар моноидтар ма?
Бейне: Альтернативный мир с дробовиком ► 3 Прохождение Silent Hill (PS ONE) 2024, Мамыр
Anonim

Жақсы айтылған, бәлкім, ең қысқа жауап: А монада жай ғана а моноид эндофункторлар санатында. қанағаттандырды моноид аксиомалар (i. & ii.), a монада ретінде қарастыруға болады моноид ол екі табиғи трансформациямен бірге эндофунктор болып табылады.

Мұнда Monad Endofunctor дегеніміз не?

Категория теориясында математиканың бір саласы, а монада (сонымен қатар үштік, триада, типтік құрылыс және іргелі құрылыс) болып табылады эндофунктор (категорияны өзіне бейнелейтін функтор), белгілі бір когеренттілік шарттарын орындау үшін қажет екі табиғи түрлендірумен бірге.

Содан кейін сұрақ туындайды, Бифунктор дегеніміз не? А бифунктор (сонымен қатар екілік функтор ретінде белгілі) - домені өнім санаты болып табылатын функтор. Оны екі аргументте функтор ретінде көруге болады. Хом функторы табиғи мысал болып табылады; ол бір аргументте контрвариантты, екіншісінде ковариантты. Мультифунктор функтор ұғымының n айнымалыға жалпылауы болып табылады.

Сонда бағдарламалаудағы Monad дегеніміз не?

Википедиядан: Функционалды түрде бағдарламалау , а монада - есептеулерді көрсету үшін пайдаланылатын дерексіз деректер түрі (домен үлгісіндегі деректердің орнына). Монадалар мүмкіндік береді бағдарламашы құбырды салу үшін әрекеттерді біріктіру үшін, онда әрбір әрекет қарастырылған қосымша өңдеу ережелерімен безендірілген монада.

Монад Хаскелл дегеніміз не?

жылы Хаскелл а монада типті конструктор (оны m деп атаңыз), сол түрдегі мәндерді құрайтын функция (a -> ma) және осы типтегі мәндерді жаңа есептеуді шығару үшін осы түрдегі мәндерді шығаратын есептеулермен біріктіретін функция ретінде ұсынылған. сол түрдегі мәндер (ma -> (a -> mb) -> mb).

Ұсынылған: