H ? « ‹ ← → › »

Language peer sets for Charity:
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Charity(ID:1540/cha004)

alternate simple view
Designed 1990
Published: 1990

Cockett, Spencer, Fukushima, 1990-1991. Functional language based purely on category theory.

Is functional in style, that is, programmers familiar with declarative paradigms should find CHARITY easy to grasp.
It is based on the theory of strong categorical datatypes.
These are divided into two subclasses: the inductive datatypes (built by constructors in the familiar way) and the coinductive datatypes (broken down by destructors).
Programs over these datatypes are expressed by folds (catamorphism) and by unfolds (anamorphism), respectively.  

Structures:
References:
  • Robin Cockett (1966) Robin Cockett "Charitable Thoughts", draft lecture notes 1966 bib ps
  • Robin Cockett and Dwight Spencer (1991) Robin Cockett and Dwight Spencer "Strong Categorical Datatypes {I}" International Meeting on Category Theory 1991 in R. A. G. Seely, ed, AMS Canadian Mathematical Society Proceedings bib ps
  • Robin Cockett and Dwight Spencer (1992) Robin Cockett and Dwight Spencer "Strong Categorical Datatypes {II}: A term logic for categorical programming" May, 1992 unpublished paper bib ps
  • Robin Cockett and Tom Fukushima (1992) Robin Cockett and Tom Fukushima "About Charity", Department of Computer Science, The University of Calgary, June 1992, Yellow Series Report No 92/480/18 bib ps
  • Dwight L. Spencer (1993) Dwight L. Spencer "Categorical Programming with Functorial Strength" PhD thesis, The Oregon Graduate Institute of Science and Technology Jan, 1993 ps bib
  • Charles Tuckey (1994) Charles Tuckey "The Implementation of Pattern Matching in Charity" Undergraduate honours thesis, Department of Computer Science, The University of Calgary Apr, 1994. bib ps
  • Dale Barry Yee (1995) Dale Barry Yee "Implementing the Charity Abstract Machine" Master's thesis The University of Calgary", Sep, 1995 bib ps
  • Peter M. Vesely (1996) Peter M. Vesely "Categorical Combinators for Charity", Master's Thesis The University of Calgary Nov, 1996 bib ps
  • Tom Fukushima and Charles Tuckey (1996) Tom Fukushima and Charles Tuckey "The Charity System User Manual" University of Calgary, 1996 bib ps
  • Marc A. Schroeder (1997) Marc A. Schroeder "Higher-Order Charity" Master's thesis The University of Calgary Jul, 1997 bib ps
  • Peter Vesely (1997) Peter Vesely "Typechecking the Charity Term Logic" Apr, 1997 bib ps
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder