(no subject)

[cool_hedin]

http://xaxam.livejournal.com/536302.html

p.s.: третье полностью совпадает с моим интуитивными представлениями о том, какую пользу может принести народному хозяйству активное внедрение теории категорий в computer science людьми абсолютно в ней [теории категорий] не разбирающимися.