Curry語言

提示：此條目頁的主題不是咖喱。

此條目頁的主題是一種程式語言。關於籃球員，請見「史蒂芬·柯瑞」。

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

Curry

編程範型	函數式, 邏輯式, 非嚴格, 模塊化
設計者	Michael Hanus, Sergio Antoy等人
當前版本	3.6.0（2023年11月10日；穩定版本）[1]
型態系統	靜態, 強類型, 類型推論
作業系統	可移植
網站	Curry
主要實作產品
PAKCS（以Prolog為目標）, mcc（以C為目標）, KiCS2（以Haskell為目標）
啟發語言
Haskell和Prolog

參考資料

1. 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.