Когда, восседая за своей вычислительной машиной, я приступаю к написанию моей программы, ГОСПОДА, мой упругий РАЦИО охватывает жуткое, сладчайшее волнение, чресла мои разгораются разноцветными огнями, а подмышки начинают источать дивный, мужественный аромат. Что может быть величественнее декартово-замкнутой категории Set, что может быть эстетичнее параметрически полиморфоного типа, искуснее алгебраических типов, приятнее inductive families? Что может быть композитнее стрелок, абстрактнее функтора терминальной категории, полиморфнее импредикативных типов, ГОСПОДА? И вот ОНА, моя госпожа, моя строгая последняя дефиниция моноида для генерализованного типа. Мартин-Лёф и Чёрч, Милнер и Хиндли, все они содрогаются и готовы рухнуть с небеси в этот момент. И словно лавина протеста, словно рёв утопающего слона, словно удар бейсбольной битой по надменной тоталитарной роже, О БОГИ, разом покидают мой изношенный скафандр и слезы, и слюна, и семя. МОЙ РАЦИО РАСТОПТАН, НАВЕКИ, где-то вдалеке скрипят своей массой планеты, сталкиваются горы, закручиваются в диком танце циклоны, а я пишу :w, я рождаю историю
!

#thsooz

1 comment recommend bookmark subscribe