SAKAI Masahiro - CHARITY Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= CHARITY
((<The CHARITY Home Page|URL:http://pll.cpsc.ucalgary.ca/charity1/www/home.html>))
# http://www.cpsc.ucalgary.ca/Research/charity/home.html
Charity is based on the theory of strong categorical datatypes.
These are divided into two subclasses: the inductive datatypes
(built up by constructors in the familiar way) and the coinductive
datatypes (broken down by destructors). Programs over these
datatypes are expressed by folds (((<catamorphism>))s) and by unfolds
(((<anamorphism>))s), respectively.
((<CPL>))を元にしたシステムらしい。
== Strong Categorical Datatype
((<The CHARITY Home Page|URL:http://pll.cpsc.ucalgary.ca/charity1/www/home.html>))
# http://www.cpsc.ucalgary.ca/Research/charity/home.html
Charity is based on the theory of strong categorical datatypes.
These are divided into two subclasses: the inductive datatypes
(built up by constructors in the familiar way) and the coinductive
datatypes (broken down by destructors). Programs over these
datatypes are expressed by folds (((<catamorphism>))s) and by unfolds
(((<anamorphism>))s), respectively.
((<CPL>))を元にしたシステムらしい。
== Strong Categorical Datatype