Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Cayenne is a functional programming language with dependent types. The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power. There are very few building blocks in the language, but a lot of syntactic sugar to make it more readable. The syntax is largely borrowed from Haskell. There is no special module system, because with dependent types records (products) are powerful enough to define modules.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.