Measures Concepts
GitHub icon

Charity

Charity - Programming language

< >

Charity is a programming language created in 1992.

#1331on PLDB 32Years Old 11Repos

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. Read more on Wikipedia...


Example from the web:
% % Some very badly written Charity % data LA(A) -> D = ss: A -> D | ff: -> D.

Language features

Feature Supported Token Example
Comments ✓
% A comment
Line Comments ✓ %
% A comment
Semantic Indentation X

View source

- Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout