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.