Curry (编程语言)
Curry,是一种实验式的函数编程语言,基于Haskell而实作,混合了函数与逻辑编程,也加入约束编程的特性。它的名称取自数学家哈斯凯尔·加里,在许多层面,它可以被视为是Haskell的超集合。
编程范型 | 函数式, 逻辑式, 非严格, 模块化 |
---|---|
设计者 | Michael Hanus, Sergio Antoy等人 |
目前版本 |
|
型态系统 | 静态, 强类型, 类型推论 |
操作系统 | 可移植 |
网站 | Curry |
主要实作产品 | |
PAKCS(以Prolog为目标), mcc(以C为目标), KiCS2(以Haskell为目标) | |
启发语言 | |
Haskell和Prolog |
参考资料
外部链接
- Curry官方首页(页面存档备份,存于互联网档案馆)
- Smap(页面存档备份,存于互联网档案馆) - A web-based execution environment for Curry and Haskell with various example programs
- MCC(页面存档备份,存于互联网档案馆) - The Münster Curry Compiler, which uses C as the target
- PAKCS(页面存档备份,存于互联网档案馆) A major Curry implementation with a WWW interface, which uses Prolog as the target
- KiCS2(页面存档备份,存于互联网档案馆) A Curry implementation, which uses Haskell as the target
- Curry Mailing List(页面存档备份,存于互联网档案馆)
- Michael Hanus's home page(页面存档备份,存于互联网档案馆)
- Purely Functional Lazy Non-deterministic Programming(页面存档备份,存于互联网档案馆) (Fischer, Kiselyov, Shan, 2009), Transforming Functional Logic Programs into Monadic Functional Programs(页面存档备份,存于互联网档案馆) (Braßel, Fischer, Hanus, Reck, 2010) on modeling lazy non-deterministic (logic) programming (like in Curry) in a purely functional language (Haskell); such approach might give the programmer more flexibility in the control over the strategies that—in the case of Curry—are built-in.