Книга «Теория и практика языков программирования. Учебник для вузов. 2-е изд. Стандарт 3-го поколения»

[leshabirukov]

Больше книг по функциональному программированию это отлично, но имеется пустота по продвинутой теории: скажем, по дискретной математике книг достаточно, а вот по теории категорий вообще ничего! Рассмотрите пожалуйста возможность переиздать «Категории для работающего математика» Маклейна, полагаю, будут благодарны как математики, так и программисты, изучающие Haskell, Scala и т.п.

[potan]

В книге, посвященной языкам программирования в общем виде, не упомянуть Haskell. Тем более ни слова свежие тенденции — про зависимые типы, хотя бы path depended types в Scala могли бы упомянуть. Хорошо хоть ML вспомнили.

[arvitaly]

Цена электронной книги кусается.

[Ares_ekb]

Напомнило «Concepts, Techniques, and Models of Computer Programming», думал это перевод. Только авторы вместо рассмотрения разных языков реализуют один мульти-парадигменный Oz. Я думаю, это лучшая книга на эту тему.