С подачи beroal с огромным интересом и удовольствием прочитал статью Дейкстры 88года On the cruelty of really teaching computing scienceОсновная мысль, как ни странно, не о преподавании Computer Science, а об опасности аналогий и упрощений. За аналогиями теряется новизна, иногда -- радикальная новизна. Этой мысли в ее различных проявлениях он уделяет ( Read more... )

Начал было писать библиотеку для динамического программирования на Scala, чтобы поглубже погрузиться в программирование на типах. Все хорошо, даже сложные рекурсивные типы получаются, но одна штука безумно отравляет жизнь: в Scala нет generic числового типа. То есть нельзя задать тип "просто число", чтобы типичные операции числового поля ( Read more... )

Написал тут давеча такую строчку.

val dam = (for ( (m, da) <- mda; (d, oa) <- da; a <- oa) yield ((d,a), m)).groupBy(_._1).map( x => (x._1, x._2 map (_._2)))

Это преобразование:

List[(M, List[(D, Option[A])]) -> Map[(D, A), List[M]]
Если отбросить Option, то надо было просто в списке пар сгрупировать по второму элементу, который тоже пара, и ( Read more... )

Как всегда искрометный Китя Карлсон объясняет коллеге-индусу в маленькой софтверной компании на букву М:

"- Допустим, - говорю, - для того чтобы завершить работу нужно написать 100 килобайт кода. В день ты пишешь 10 килобайт. Но начальство, хоть и работает в 10 раз медленнее тебя, постоянно придумывает новые изменения в задание, прибавляющие по 1 ( Read more... )

Поучаствовал в конкурсе по функциональному программированию. Автор, который ведет интересный и нескучный блог, и уже не первый раз устраивает конкурсы, в качестве призов предлагая свои книги. Я слежу за конкурсами с самого начала, но раньше как-то не хватало времени. В этот раз, впрочем, конкурс был менее всего функциональным, и показался простым и ( Read more... )

ivan-gandhi на днях заметил, что Хаскель -- асоциальный язык. Новичок в нем утонет, и вынырнет с какой-нибудь пользой в лучшем случае через год. Это язык одиночек, гуру и научных работников. Набрать и построить команду очень непросто ( Read more... )

В последнее время стало модно писать исторические экскурсы в собственный опыт использования разных языков и инструментов программирования. Я когда-то уже написал начало, не грех будет и продолжить ( Read more... )

Что-то часто я стал на эту тему писать, но вот нравится решать алгоритмические задачки, и все тут! Даже интереснейшую книжку Маркова "Рождение Сложности" про происхождение жизни и эволюцию в свете новейших достижений молекулярной биологии забросил. Но к ней я еще вернусь, а пока несколько красивых или познавательных задач ( Read more... )

Хотя я и собирался перейти на J для разминки ума при помощи ProjectEuler, но на Скале мне пока нравится больше. 50я задача, три вечера, между делом ( Read more... )

Спасибо уважаемому френду ivan-gandhi за ссылку на его изящную имплеменатацию теории множеств в аксиоматике Цермело-Френкеля с аксиомой выбора на Java: http://ivan-gandhi.livejournal.com/726465.htmlRead more... )