【文件属性】：
文件名称：cpl:Hagino 的分类程序设计语言 (CPL) 的解释器
文件大小：42KB
文件格式：ZIP
更新时间：2021-05-31 14:41:41
Haskell
“一种分类编程语言”的实现
这个包是用 Haskell 编写的“A Categorical Programing Language”（简称 CPL）[1][2] 的实现。
CPL 是一种基于范畴论的函数式编程语言。 数据类型由附加项以分类方式声明。 可以处理的数据类型包括终端对象、初始对象、二元乘积函子、二元余积函子、指数函子、自然数对象、有限列表的函子和无限列表的函子。 每种数据类型都用其基本操作或态射来声明。 程序由这些态素组成，程序的执行是将元素（即特殊态素）简化为规范形式。
安装
解压缩存档并进入其*目录。 然后输入：
$ cabal configure
$ cabal build
$ cabal install
如果要使用 readline 或 haskeline 进行编译，请分别添加 -fReadline 或 -fHaskeline 以配置命令。
用法
参见 [1]
【文件预览】：
cpl-master
----Setup.hs(68B)
----CHANGELOG.markdown(841B)
----src()
--------Funct.hs(111B)
--------CPLSystem.hs(5KB)
--------CDT.hs-boot(147B)
--------Typing.hs(5KB)
--------ExpParser.hs(3KB)
--------CDT.hs(7KB)
--------ParserUtils.hs(455B)
--------Main.hs(14KB)
--------FE.hs(2KB)
--------Simp.hs(11KB)
--------CDTParser.hs(3KB)
--------Subst.hs(3KB)
--------Statement.hs(3KB)
--------Type.hs(975B)
--------Exp.hs(2KB)
--------Variance.hs(2KB)
--------AExp.hs(4KB)
----.travis.yml(4KB)
----samples()
--------automata.cdt(264B)
--------ccc.cdt(280B)
--------examples.txt(3KB)
--------benchmark.cpl(1KB)
--------examples.cpl(1KB)
--------ack_3_4.cpl(552B)
--------misc.cdt(632B)
--------function.cpl(2KB)
--------rec.cdt(365B)
--------obscure.cdt(338B)
--------ack.cpl(1KB)
----windows()
--------CPL.wxs(6KB)
--------COPYING.rtf(2KB)
--------build_zip.hs(2KB)
--------build_msi.hs(1KB)
----COPYING(1KB)
----CPL.cabal(2KB)
----README.markdown(2KB)
----appveyor.yml(2KB)
----misc()
--------build_zip.hs(2KB)
----build_bdist_linux.sh(1KB)
----stack.yaml(2KB)