программизм
На знаменитом ныне sql.ru (где ксеноцефал) я недавно обнаружил упоминание работ Luca Cardelli из Microsoft Research.

На мой вкус, колоссальный чувак. Пишет статьи (то, на что ссылались и то, что пока видел) в таком научно-популярном стиле. Порой переходит в научный стиль, порой в популярный, но всегда очень связно и без излишних выебонов, так что текст в целом и в деталях понятен даже выпускнику ПТУ, вроде меня.

Пока-что проглядел статью о Polyphonic C# - это С# в котором синхронизация осуществляется посредством async remote calls ака передачей сообщений. Не уверен, что то, как они это сделали - это то, что надо (решения некоторых простых задач выглядят несколько надуманными и кривоватыми), но всё равно прикольно. И стимулирует.

Дальше стал читать статью "Type Systems". Вроде бы, достаточно тривиальные вещи излагаются, кроме непонятных формул-закорючек (в которых, впрочем, крайне легко разобраться), но от того, что эти тривиальные вещи нормально формализованы, в голову начинают лезть довольно интересные идейки. А вот почему-то от чтения обычных книг по программированю те же самые идеи наоборот гасятся. Ну, ясно почему. Потому, что в книгах последнего типа говорится о том, как всё хорошо, а трудности, если даже и упоминаются, то радикально и глубоко не исследуются. Ну и формализации особой нет, скорее есть "делай как я". Книги по программированию меня вообще уже лет так n-надцать вгоняют в депрессию и отупление.