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

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

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

[Skip to Readme]

Flags

Automatic Flags

Name	Description	Default
readline	Use Readline	Disabled
haskeline	Use Haskeline	Disabled

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

Downloads

CPL-0.0.6.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

MasahiroSakai

For package maintainers and hackage trustees

edit package information

Candidates

0.0.7

Versions [RSS]	0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.0.9
Change log	NEWS
Dependencies	array, base (>=4 && <5), containers, haskeline, mtl, parsec, readline [details]
License	BSD-3-Clause
Author	Masahiro Sakai (masahiro.sakai@gmail.com)
Maintainer	masahiro.sakai@gmail.com
Category	Compilers/Interpreters
Uploaded	by MasahiroSakai at 2009-10-26T12:56:40Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	cpl
Downloads	4812 total (11 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] Successful builds reported [all 7 reports]

Readme for CPL-0.0.6

[back to package description]

An implementation of "A Categorical Programing Language".
version 0.0.5
====================

  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[3]. 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.

Requirements
------------

  * GHC-6.10

Install
-------

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

    $ runhaskell Setup.hs configure
    $ runhaskell Setup.hs build
    $ runhaskell Setup.hs install

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

Usage
-----

  See chapter 5 of [1]

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

  Copyright (C) 2004-2009 Masahiro Sakai <masahiro.sakai@gmail.com>

Author
----------
  Masahiro Sakai <masahiro.sakai@gmail.com>

Bibliography
------------

[1]  Tatsuya Hagino, ``A Categorical Programming Languge''.
     Ph.D. Thesis, University of Edinburgh, 1987
     available at <http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en>

[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