В развитие темы. Все знакомые уткнулись в PropositionalEquivalence. В рамках подготовки к объяснениям, написал про зависимые типы и Curry-Howard correspondence. What is enough type theory/agda for category theory? :)

Буду писать введение в теорию категорий. Цель - показать формализованную замену интуитивным способам анализа, проектирования, программирования. Уничтожить карго-культы под названием «software engineering» и «computer programming ( Read more... )

Haskell странный... Ты восторгаешься некоторое время, вживаешься в экосистему... Учишься писать эффективно... тайп-классы... монады... стрелки... тайплклассопедия... трансформеры... и вроде уже все привычно, о чем был весь этот шум ( Read more... )