Видео: Все ли монады моноиды?
2024 Автор: Miles Stephen | [email protected]. Последнее изменение: 2023-12-15 23:40
Хорошо сказанный, возможно, самый краткий ответ: A монада это просто моноид в категории эндофункторов. Удовлетворен моноид аксиомы (I. и II.), а монада можно рассматривать как моноид который является эндофунктором вместе с двумя естественными преобразованиями.
Что такое эндофунктор монады?
В теории категорий, раздел математики, монада (также тройка, тройка, стандартная конструкция и фундаментальная конструкция) является эндофунктор (функтор, отображающий категорию в себя), вместе с двумя естественными преобразованиями, необходимыми для выполнения определенных условий когерентности.
Впоследствии возникает вопрос, что такое бифунктор? А бифунктор (также известный как бинарный функтор) - это функтор, предметной областью которого является категория продукта. Его можно рассматривать как функтор с двумя аргументами. Функтор Hom - естественный пример; он контравариантен по одному аргументу, ковариантен по другому. Мультифунктор - это обобщение концепции функтора на n переменных.
Тогда что такое монада в программировании?
Из википедии: В функционале программирование , а монада это своего рода абстрактный тип данных, используемый для представления вычислений (вместо данных в модели предметной области). Монады позволить программист объединить действия в цепочку, чтобы построить конвейер, в котором каждое действие украшено дополнительными правилами обработки, предоставляемыми монада.
Что такое монада Haskell?
В Haskell а монада представлен как конструктор типа (назовите его m), функцию, которая строит значения этого типа (a -> ma), и функцию, которая объединяет значения этого типа с вычислениями, которые производят значения этого типа, чтобы произвести новое вычисление для значения этого типа (ma -> (a -> mb) -> mb).
Рекомендуемые:
Что было бы, если бы все деревья были срублены?
Что произойдет, если мы срубим все деревья в мире? ГРЯЗНЫЙ ВОЗДУХ: Без деревьев люди не смогли бы выжить, потому что воздух был бы плохим для дыхания. Таким образом, отсутствие деревьев приведет к значительно БОЛЬШОМУ количеству углекислого газа в воздухе и НИЖНЕМУ количеству кислорода
Почему все живые существа должны иметь ДНК?
Он нужен всем живым организмам, потому что он действует как генетический материал (содержит гены), хранящий биологическую информацию. Кроме того, ДНК кодирует последовательность аминокислотных остатков (для синтеза белка), используя триплетный код нуклеотидов (генетический код) после транскрипции в РНК
Все ли яйца содержат холин?
Одно большое яйцо содержит 113 мг холина. Резюме: Холин - это важное питательное вещество, которого мало кто получает в достаточном количестве. Яичные желтки - отличный источник холина
Все ли организмы демонстрируют рост?
Все живые организмы демонстрируют рост либо за счет размножения, либо за счет увеличения размера. Это необратимое увеличение массы особи. Для более крупных организмов рост связан с развитием новых частей между или внутри старых. Таким образом, в живых существах наблюдается своего рода внутренний рост
Для чего используются монады?
Из википедии: В функциональном программировании монада - это своего рода абстрактный тип данных, используемый для представления вычислений (вместо данных в модели предметной области). Монады позволяют программисту связывать действия вместе, чтобы построить конвейер, в котором каждое действие украшено дополнительными правилами обработки, предоставляемыми монадой