Curry语言

Curry
编程范型	函数式, 逻辑式, 非严格, 模块化
设计者	Michael Hanus, Sergio Antoy等人
当前版本	3.6.0（2023年11月10日；稳定版本）;
型态系统	静态, 强类型, 类型推论
操作系统	可移植
网站	Curry
主要实作产品
	PAKCS（以Prolog为目标）, mcc（以C为目标）, KiCS2（以Haskell为目标）
受影响于
	Haskell和Prolog

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

事实速览 编程范型, 设计者 ...

关闭

参考资料