Curry語言

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

參考資料
外部連結
*[http://www.curry-language.org/ Curry官方首頁]
*[http://www-ps.informatik.uni-kiel.de/smap/ Smap] - A web-based execution environment for Curry and Haskell with various example programs
*[http://danae.uni-muenster.de/curry/ MCC] - The Münster Curry Compiler, which uses C as the target
*[http://www.informatik.uni-kiel.de/~pakcs/ PAKCS] A major Curry implementation with a WWW interface, which uses Prolog as the target
*[http://www-ps.informatik.uni-kiel.de/kics2/ KiCS2] A Curry implementation, which uses Haskell as the target
*[http://wiki.curry-language.org/documentation/mailing Curry Mailing List]
*[http://www.informatik.uni-kiel.de/~mh Michael Hanus's home page]

• [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.524 Purely Functional Lazy Non-deterministic Programming] (Fischer, Kiselyov, Shan, 2009), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4578 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.