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. Nervertheless, it is capable of expressing the Ackermann function, which makes it more expressive than primitive recursion.

External links

 

<< PreviousWord BrowserNext >>
emu field
the seventh cross
mount melbourne
quaternion (disambiguation)
sahara (1943 movie)
germ cell ovarian cancer
gaia trafikk
mount morning
diadic product
mount moulton
medical direction
pir (disambiguation)
mount murphy
laura (person)
linda smith (politician)
dalit (outcaste)
bad wrishofen
sayumi michishige
segrate
akdamar island
matzpen
mount overlord
attree
mount sidley
mount steere
mount takahe
toney mountain
b9
therme bad wrishofen
ah un
davfs2
mount waesche
cocktail wars
wusc
sinope gospels
ta'u
miro (tree)
boavista
ofu olosega
ken bruce
samuel courtauld (industrialist)
puddleglum
obertshausen
zlib libpng license
Copyright 2005-2009 OnPedia.com. All Rights Reserved