Charity (programming language)
Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett. 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 or stay productive.
Wikipage disambiguates
Wikipage redirect
primaryTopic
Charity (programming language)
Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett. 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 or stay productive.
has abstract
Charity est un langage de prog ...... anamorphismes sont productifs.
@fr
Charity is an experimental pur ...... l apomorphisms are productive.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
732,883,685
developer
The Charity Development Group
latest preview version
license
Non-commercial use only
operating system
paradigm
comment
Charity est un langage de prog ...... ve qu'une récursion primitive.
@fr
Charity is an experimental pur ...... terminate or stay productive.
@en
label
Charity (langage)
@fr
Charity (programming language)
@en
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Charity
@en