Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Charity is a purely functional experimental programming language, developed at the University of Calgary. Based on ideas by Hagino Tatsuya, it is completely grounded in category theory. Disregarding interactions with the outside world, all Charity programs are guaranteed to terminate. This means that the language is not Turing-complete. Nevertheless, it is capable of expressing the Ackermann function, which makes it more expressive than primitive recursion.

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