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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.