Curry语言
提示：此条目页的主题不是咖哩。
此条目页的主题是一种程式语言。关于篮球员，请见“史蒂芬·柯瑞”。Curry，是一种实验式的函数程式语言，基于Haskell而实作，混合了函数与逻辑编程，也加入约束编程的特性。它的名称取自数学家哈斯凯尔·加里，在许多层面，它可以被视为是Haskell的超集合。
| 编程范型 | 函数式, 逻辑式, 非严格, 模块化 |
|---|---|
| 设计者 | Michael Hanus, Sergio Antoy等人 |
| 当前版本 |
|
| 型态系统 | 静态, 强类型, 类型推论 |
| 操作系统 | 可移植 |
| 网站 | Curry |
| 主要实作产品 | |
| PAKCS（以Prolog为目标）, mcc（以C为目标）, KiCS2（以Haskell为目标） | |
| 启发语言 | |
| Haskell和Prolog | |
参考资料
编辑- ^ Current release:PAKCS Version 3.6.0 (10/11/23). 2023年11月10日 [2023年11月14日].
外部链接
编辑- 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.