Curry (程式語言)

维基百科,自由的百科全书
跳到导航 跳到搜索
Curry
编程范型函数式, 逻辑式, 非严格, 模块化
設計者Michael Hanus, Sergio Antoy等人
型態系統静态, 强类型, 类型推论
作業系統可移植
網站Curry
主要實作產品
PAKCS(以Prolog为目标), mcc(以C为目标), KiCS2(以Haskell为目标)
啟發語言
HaskellProlog

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

參考資料[编辑]

外部連結[编辑]