Другие новости от fregimus.livejournal.com
Реклама на проекте
Проще не скажешь
Wednesday, 13 July, 10:07,
fregimus.livejournal.com
«…монада — моноидальный объект в категории эндофункторов: return — единица, а join — умножение. Проще этого и объяснить нельзя! Если это кажется запутанным, посмотрите на монаду как слабый функтор из терминальной бикатегории…»
Комментарии (0)