logo

Избранные цитаты с сайта
Linux.Org.Ru


Re: монады ;)

Монада - это очень просто. Это такой эндофунктор M вместе с двумя естественными преобразованиями i:1->M и m:M^2->M, удовлетворяющими паре очевидных соотношений: m_Xi_{MX} = 1 = m_XM(i_X) и m_Xm_{MX}=m_X(Mm_X). Всегда получается из пары сопряжённых функторов, вообще говоря, не единственным образом. Ну, а в ФП монады - те же самые, только в категории типов данного языка.
Miguel (*) (26.11.2007 20:53:59) (Источник)

© 2005-2014 Быдлокодеришко На Убогоньком Недоязычке