The CPL package

[ Tags: bsd3, compilers-interpreters, program ] [ Propose Tags ]

An interpreter of Hagino's Categorical Programming Language (CPL).

[Skip to Readme]


Versions 0.0.5, 0.0.6, 0.0.7, 0.0.8
Change log CHANGELOG.markdown
Dependencies array, base (==4.*), containers, haskeline, mtl (>=, parsec, readline [details]
License BSD3
Author Masahiro Sakai (
Category Compilers/Interpreters
Source repository head: git clone git://
Uploaded Thu Jan 14 14:55:18 UTC 2016 by MasahiroSakai
Distributions NixOS:0.0.8
Executables cpl
Downloads 1404 total (121 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2016-10-24 [all 11 reports]
Hackage Matrix CI



Use Readline


Use Haskeline


build statically linked binaries


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees

Readme for CPL-0.0.8

[back to package description]

An implementation of "A Categorical Programing Language"

Build Status Build status Hackage

This package is an implementation of "A Categorical Programing Language" (CPL for short)[1][2] written in Haskell.

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.


De-Compress archive and enter its top directory. Then type:

$ cabal configure
$ cabal build
$ cabal install

If you want to compile with readline or haskeline, add -fReadline or -fHaskeline respectively to configure command.


See chapter 5 of [1]


This program is licenced under the BSD-style license. (See the file 'COPYING'.)

Copyright (C) 2004-2014 Masahiro Sakai


Masahiro Sakai


(1) Tatsuya Hagino, “A Categorical Programming Languge”. Ph.D. Thesis, University of Edinburgh, 1987 available at

(2) Tatsuya Hagino, “Categorical Functional Programming Language”. Computer Software, Vol 7, No.1. Advances in Software Science and Technology 4, 1992 ISBN 0-12-037104-9