hackage.haskell.org : 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.
Registry
-
Source
- JSON
purl: pkg:hackage/CPL
Keywords:
bsd3
, compilers-interpreters
, program
, Propose Tags
License: BSD-3-Clause
Latest release: over 7 years ago
First release: almost 16 years ago
Downloads: 4,942 total
Stars: 121 on GitHub
Forks: 7 on GitHub
Total Commits: 68
Committers: 1
Average commits per author: 68.0
Development Distribution Score (DDS): 0.0
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago