Интригующие заголовки

Коллекция книжек давно перестала содержать "must-read only". Повыбрасывать спорные книжки можно, но жалко. :)
И вот, опять захомячил пару прикольных экземпляров. Как ради коллекции, так и полистать на досуге.

1. Functional C (International Computer Science Series), 1997
Введение уже подкупило фразами: "We visit all dark alleys of C". Отчего-то вспомнился комикс Functional programming is beautiful.

This book is the course material to teach a second paradigm: imperative pro-
gramming, using C as the programming language. The book has been written so
that it builds on the knowledge that the students have acquired during their first
course on functional programming, using SML.

Ведь правда интересно, как кому-то, кто начинал программирование с SML, будут рассказывать про это чудо природы.

2. Functional Programming and Input/Output.

Тоже будет интересно взглянуть, краем глаза, когда время будет:

A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O.