metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2009-07-07 10:29 am

Теория категорий.

Расслабляюсь от писания в лоб гуевых редакторов и маппинга объектов из БД тем, что под пиво часов в 10-12 вечера читаю книжку "Basic Category Theory for Computer Scientists".
Ад неимоверный, надо сказать, в голове всплывают прослушанные когда-то в универе курсы функционального анализа и еще какая-то ересь с еще более давних времен(не помню откуда вообще), про иньективные, сюрьективные и биективные функции, все это путается в мозгу с более приземленными вещами типа реляционной алгебры и реализации всякой дури в функциональных языках.

[identity profile] tonal.myopenid.com (from livejournal.com) 2009-07-09 07:14 am (UTC)(link)
Знакомый математик посмотрел на описание ТК в вики и сказал:
Что только ленивые буржуины не придумают, чтобы функан не учить. :)

[identity profile] metaclass.livejournal.com 2009-07-09 07:20 am (UTC)(link)
О блин, нам еще только различий в математике у нас и у буржуев не хватало для полного счастья :)