Бүх монадууд моноид мөн үү?
Бүх монадууд моноид мөн үү?

Видео: Бүх монадууд моноид мөн үү?

Видео: Бүх монадууд моноид мөн үү?
Видео: Mabberant:Бүх 2024, May
Anonim

Сайн хэлсэн, магадгүй хамгийн товч хариулт нь: А монад зүгээр л а моноид эндофункторуудын ангилалд багтана. Сэтгэл хангалуун байна моноид аксиомууд (i. & ii.), a монад гэж харж болно моноид Энэ нь хоёр байгалийн хувиралтай эндофунктор юм.

Monad Endofunctor гэж юу вэ?

Ангиллын онолд математикийн салбар, а монад (мөн гурвалсан, гурвалсан, стандарт хийц, суурь барилга) нь a endofunctor (категорийг өөртөө буулгах функц), тодорхой уялдаа холбоог хангахын тулд шаардлагатай хоёр байгалийн хувиргалт.

Дараа нь асуулт гарч ирнэ, Бифунктор гэж юу вэ? А хоёр функц (мөн хоёртын функц гэж нэрлэдэг) нь домайн нь бүтээгдэхүүний ангилал болох функционатор юм. Үүнийг хоёр аргумент дахь функц гэж үзэж болно. Хом функц нь байгалийн жишээ юм; энэ нь нэг аргумент дээр эсрэг, нөгөө аргумент дээр ковариант юм. Мультифунктор гэдэг нь функциональ ойлголтыг n хувьсагчдад нэгтгэсэн ерөнхий ойлголт юм.

Тэгвэл програмчлалд Монад гэж юу вэ?

Википедиагаас: Ажиллаж байна програмчлал , a монад нь тооцооллыг илэрхийлэхэд ашигладаг хийсвэр өгөгдлийн төрөл юм (домайн загвар дахь өгөгдлийн оронд). Монадууд зөвшөөрөх программист дамжуулах хоолой барих үйлдлүүдийг хамтдаа гинжин хэлхээнд, ямар үйлдэл бүр нь заасан нэмэлт боловсруулах дүрэм чимэглэсэн байна монад.

Монад Хаскелл гэж юу вэ?

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

Зөвлөмж болгож буй: