http://ru.wikipedia.org/wiki/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Dark_Magus

Это Душкин, собрал "Всё о функциональном программировании" на ру-вики:

http://ru.wikipedia.org/wiki/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Dark_Magus/%D0%9A%D0%BD%D0%B8%D0%B3%D0%B8/%D0%92%D1%81%D1%91_%D0%BE_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%BC_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B8

Собрал в ПДФ и прочёл версию от 18 марта. Не очень понравилось, но местами концепции некоторые узнал, для меня новые (лямбда-куб, например). На книгу не тянет: некоторые вещи лишние, некоторые не из той оперы, большинство просто "огрызки", некоторых нет (но они есть в ру-вики).

Короче сборник огрызков (хотя в ПДФ-е 250 страниц набралось). Но чисто для затравки сойдёт.

Местами чушь какая-то:

Теоретически не может существовать языков, в которых отсутствуют типы (включая полиморфные). Это следует из того, что все языки основаны на машине Тьюринга или на лямбда-исчислении. И в том, и в другом случае необходимо оперировать как минимум одним типом данных — хранящимся на ленте (машина Тьюринга) или передаваемым и возвращаемым из функции (лямбда-исчисление).

Что есть тип в бестиповом лямбда-счислении? Ну ладно, а комбинаторная логика, к примеру?