Curry語言

Curry，是一種實驗式的函數程式語言，基於Haskell而實作，混合了函數與邏輯編程，也加入約束編程的特性。它的名稱取自數學家哈斯凱爾·加里，在許多層面，它可以被視為是Haskell的超集合。

 參考資料 

 外部連結 
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.

Category:函数式编程语言
Category:逻辑编程语言
Category:并发编程语言
Category:学术的编程语言
Category:使用BSD许可证的软件
Category:静态类型编程语言
Category:1995年建立的程式語言