CPL: An interpreter of Hagino's Categorical Programming Language (CPL).
CPL is a functional programming language based on category theory. Data types are declared in a categorical manner by adjunctions. Data types that can be handled include the terminal object, the initial object, the binary product functor, the binary coproduct functor, the exponential functor, the natural number object, the functor for finite lists, and the functor for infinite lists. Each data type is declared with its basic operations or morphisms. Programs consist of these morphisms, and execution of programs is the reduction of elements (i.e. special morphisms) to their canonical form.
[Skip to Readme]
build statically linked binaries
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
|Versions [RSS]||0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.0.9|
|Dependencies||array, base (>=4 && <5), containers, haskeline, mtl (>=18.104.22.168), parsec, readline [details]|
|Author||Masahiro Sakai (firstname.lastname@example.org)|
|Source repo||head: git clone git://github.com/msakai/cpl.git|
|Uploaded||by MasahiroSakai at 2018-02-16T04:01:31Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||4650 total (14 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs not available [build log]
Last success reported on 2018-02-16 [all 3 reports]