Wichtiger Hinweis zum Inhalt des Online-LexikonsBei den auf dieser Seite aufgeführten Texten/Artikeln/Inhalten handelt es sich ausschließlich um fremde Inhalte, die sich die Aschendorff Verlag GmbH & Co. KG ausdrücklich nicht zu Eigen macht. Diese fremden Inhalte, die keiner regelmäßigen Überprüfung unterliegen, sind ausnahmslos solche der freien Enzyklopädie Wikipedia, für die keinerlei Verantwortung übernommen wird.
Lizenzbestimmungen
Der Text/Artikel/Inhalt auf dieser Seite innerhalb der Rubrik "Online Lexikon" basiert, soweit nicht anders angegeben, auf dem Artikel
Charity (Programmiersprache)
aus der freien Enzyklopädie
Wikipedia.
Die Inhalte stehen unter der
GNU Lizenz für freie Dokumentation.
Eine Liste der Autoren ist
dort
abrufbar.
Charity (Programmiersprache)
Charity ist eine rein
funktionale Programmiersprache, die an der Uni Calgary als experimentelle Sprache entwickelt wurde. Sie setzt die Ideen von Hagino zu einer auf Kategorientheorie basierenden Sprache um.
Alle in Charity geschriebenen Programme terminieren (natürlich von Eingaben des Anwenders abgesehen), das heißt die Sprache ist nicht
Turing-vollständig. Trotzdem lässt sich darin z.B. die
Ackermannfunktion ausdrücken, mit anderen Worten, die Sprache ist mächtiger als einfach rekursive Sprachen.
Weblinks
•
Dokumentation, Download
