Charity programming language
Encyclopedia : C : CH : CHA : Charity programming language
Charity is a purely functional experimental programming language, developed at 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
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.