"Let Pattinson be a homomorphism..."

[skiminok]

Всем читателям, кто еще не знаком, рекомендую замечательный блог Эрика Липперта — одного из главных разработчиков компилятора Microsoft Visual C# и собственно стандарта языка C#. (У кого напряги с инглишем — есть русский перевод, правда, он тормозит на три месяца =).

Так вот, по поводу функционального программирования, теории категорий, и всей этой динамической опердени =) Есть в этом блоге пост о различиях между ковариантностью и совместимостью по присваиванию. Пост сам по себе довольно интересен, но особенно умилителен постскриптум (для тех, кто шарит тему или просто честно прочел пост целиком):

UPDATE: My close personal friend (and fellow computer geek) Jen notes that in the Twilight series of novels, the so-called "werewolves" (who are not transformed by the full moon and therefore not actually werewolves) maintain their rigid social ordering in both wolf and human form; the projection from human to wolf is covariant in the social-ordering relation. She also notes that in high school, programming language geeks are at the bottom of the social order, but the projection to adulthood catapults them to the top of the social order, and therefore, growing up is contravariant. I am somewhat skeptical of the latter claim; the former, I'll take your word for it. I suppose the question of how social order works amongst teenage werewolves who are computer geeks is a subject for additional research. Thanks Jen!

Вот так концепции ФП незаметно втираются в нашу повседневную жизнь. Да, девочкам-фанаточкам Сумерок — привет ;)