Наткнулся на блог популярной математики. Блог, в целом, достаточно дурацкий. К примеру, вот как там описывается изоморфизм: http://popmath.ru/2011/01/29/algebra-begins-4/#more-382 Определение, данное там, весьма бестолково как точки зрения математики, так и с точки зрения интуиции. И человек не имевший дело с алгеброй вряд ли что-то поймет. Это напомнило мне, что я сам давно хотел написать популярно про философию изоморфизма. Вот есть множество каких-то элементов. С ним делать ничего нельзя, можно лишь отображать на другое множество...

Почему среди программистов на Haskell бытует легенда, что если программа компилируется, то она верна? Почему мало смысла в споре между приверженцами статической и динамической типизации? Как превратить тип функции в теорему, а программу — в еë доказательство? Об этом и многом другом мы поговорим в мини-серии статей, посвящённой теории типов. Зачем? Когда речь заходит о типах и типизации в программировании, то в ход идут самые разные аналогии. Кто во что горазд! Типы сравнивают с наклейками на...