计算机科学

首页 > 计算机科学

Curry

2018-09-05 18:11:44     所属分类:程序设计语言

Curry,是一种实验式的函数编程语言,基于Haskell而实作,混合了函数与逻辑编程,也加入约束编程的特性。它的名称取自数学家哈斯凯尔·加里,在许多层面,它可以被视为是Haskell的超集合。

外部链接

  • Curry官方首页

上一篇:Coq
下一篇:Agda
相关推荐