Charity_(programming_language)

Charity is a purely functional experimental programming language, developed at the University of Calgary. Based on ideas by Hagino 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.

External links

• Official homepage with documentation and download

This computer language-related article is a stub. You can help Wikipedia by expanding it.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia