March 7th, 2009

with Cat The Cat

CUFP

Статистка
ГодХаскельML (OCaml, SML, F#)Scheme, LispErlang
20043320
20052111
20064211
20071302
20083302
Итого:131246
2008 содержит ещё и Scala.

В общем, понятно. Схемы всё меньше и меньше. Эрланга наоборот, всё больше. ML выплывает за счёт OCaml и F#, последнего всё больше.

Кто самый популярный в мире практически применяемый ФП, видно хорошо.

PS
RSDN!!! :-E
with Cat The Cat

Один из моих старых не совсем отвеченных вопросов себе.

Навеяло.

Я задался им лет в 25.

Почему программисты не создают роботов в помощь себе?

Ведь для робота-для-программиста не нужно писать распознавания образов, не надо строить манипулятор или шасси, отлаживать его очень просто.

Потом я столкнулся с SAT - NP-complete problem solvers и понял, что не все проблемы можно решить с помощью роботов.

Потом я столкнулся с Epigram, Coq и Agda2. Выяснилось, что роботов строят, я просто не там искал.

Только строят не все. И не все знают, что роботов можно строить.

Вопрос "не совсем отвеченный" потому, что мне ответ не нравится. Пусть он постоит в таком статусе ещё немного, глядишь, ситуация изменится. ;)
with Cat The Cat

Мерял пульс.

Сперва в покое. Пульс в покое получился в районе 60-ти.

Потом начал играть в Серьёзного Сэма. Получилось 68.

Потом пошёл ходить по лестнице вверх-вниз. Вот тут было интересно. ;)

Основной результат - у меня быстро понижается пульс. За полторы минуты спуска по лестнице со 140 до 100. Это хорошо, по-моему.