Serge Bobrovsky (sbobrovsky) wrote,
Serge Bobrovsky
sbobrovsky

то самое чувство...

...когда испытываешь микро-сатори, внезапно понимая, что связь между типизированным лямбда-исчислением и декартовыми замкнутыми категориями выражается через подчинение классов эквивалентности (морфизмов) аксиомам замкнутой моноидальной категории, а рядом "юное поколение мигает светодиодиками в ардуино и страшно радуется" (с)

Tags: cs, fp, а я граф монте-кристо
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 8 comments