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

Коллекция книжек давно перестала содержать "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.

Синтаксический сахар

Java -- трехлитровая банка с водой.
Python -- двухлитровая банка со сладким компотом.
Haskell -- пачка сахара-рафинада. Если кому сильно сладко, или беззубый, а кусочки дерут горло, запивают чем могут.
Scala -- банка Python, в которую впихнули и утрамбовали много пачек сахара-рафинада.
Lisp -- дольки сладких сухофруктов, которыми выкладывают магические узоры на тарелке. С виду невзрачные, но если уж кто подсел, то надолго.
Clojure -- компот из сухофруктов.
Эрланг -- банка с кучей мелких драже.
C# и F# -- леденцы, которые разрешают только сосать.

Теперь понимаю природу вечных стычек Лисперов с Хаскелитами. Редко кто может заедать сухофрукты рафинадом. Знаю одного, но он запивает рафинад компотом из сухофруктов.