Бардык монадалар моноиддерби?
Бардык монадалар моноиддерби?

Video: Бардык монадалар моноиддерби?

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

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

Бул жерде, Monad Endofunctor деген эмне?

Категория теориясында математиканын бир тармагы, а монад (ошондой эле үчтүк, триада, типтүү курулуш жана фундаменталдык курулуш) болуп саналат эндофунктор (категорияны өзүнө түшүргөн функтор), белгилүү бир ырааттуулук шарттарын аткаруу үчүн зарыл болгон эки табигый трансформация менен бирге.

Андан кийин суроо туулат, Bifunctor деген эмне? А bifunctor (ошондой эле бинардык функтор катары белгилүү) - домени продукт категориясы болгон функтор. Аны эки аргументте функция катары көрүүгө болот. Hom функтору табигый мисал; ал бир аргументте контрвариант, экинчисинде ковариант. Мультифунктор – n өзгөрмөлөр үчүн функтор түшүнүгүн жалпылоо.

Анда программалоодо Монад деген эмне?

Википедиядан: Функционалдуу программалоо , а монад эсептөөлөрдү көрсөтүү үчүн колдонулган абстракттуу маалымат түрүнүн бир түрү (домен моделиндеги маалыматтардын ордуна). Монадалар уруксат берүү программист ар бир иш-аракет тарабынан каралган кошумча иштетүү эрежелери менен кооздолгон куур куруу үчүн бирге иш-аракеттерди чынжыр монад.

Monad Haskell деген эмне?

In Хаскелл а монад типтин конструктору (аны m деп атаңыз), ошол типтеги маанилерди түзүүчү функция (a -> ma) жана ушул типтеги маанилерди жаңы эсептөөлөрдү чыгаруу үчүн ошол типтеги маанилерди чыгарган эсептөөлөр менен айкалыштырган функция катары көрсөтүлөт. ошол түрдөгү маанилер (ma -> (a -> mb) -> mb).

Сунушталууда: