Curry語言

来自维基百科,自由的百科全书

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

快速預覽 編程範型, 設計者 ...
Curry
編程範型函數式, 邏輯式, 非嚴格, 模塊化
設計者Michael Hanus, Sergio Antoy等人
當前版本
  • 3.6.0(2023年11月10日;穩定版本)[1]
編輯維基數據鏈接
型態系統靜態, 強類型, 類型推論
作業系統可移植
網站Curry
主要實作產品
PAKCS(以Prolog為目標), mcc(以C為目標), KiCS2(以Haskell為目標)
受影響於
HaskellProlog
關閉

參考資料

外部連結

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.