Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Charity

< >

Charity is a programming language created in 1992.

#1139on PLDB 32Years Old 11Repos
Homepage · Wikipedia

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 Example Token
Comments % A comment
Line Comments % A comment %
Semantic Indentation X

- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0