0xd34df00d
20.03.2012 22:43 Azoth_primary
Учитывая, что композиция эндоморфизмов вполне является моноидом, мне станет гораздо легче реализовывать этот свой graph rewriting.
Recommended by:
@pooq: моча съела говно
9 comments
recommend
bookmark
subscribe
Почему?
Хуй знает. Просто я объебался всяких Foldable/Traversable.
И поэтому порешь хуйню, или же поэтому тебе станет легче реализовывать?
Дампы сознания, невермайнд.
Но утверждение же крайне интересное. Тебе и правда будет легче реализовывать? Можешь так же сдампать сюда причины, я попробую распарсить.
Пажжи, у меня от Control.Applicative башка треснула нахуй.
Все, вернулось на место, ня. Аппликатив охуенчик, для списка, maybe и прочих очевидно.
композиция эндоморфизмов является, очевидно, эндоморфизмом. моноидом является множество эндоморфизмов по операции композиции, например
Я уже не помню, откуда у меня тогда это вылезло. Кажется, я пытался реализовать Traversable для теганных деревьев, но у меня оно делало слегка не то, что хотелось, и я пока подзабил.