Curry: A Functional Logic Programming Language
a year ago
- #programming
- #functional-programming
- #logic-programming
- Curry是一种声明式多范式编程语言，融合了函数式与逻辑式编程范式。
- 其特性包括纯声明式操作、类型推断、非确定性和自由变量机制。
- 支持非确定性操作，允许同一输入对应不同输出值。
- 自由变量表示未知值，将在求值过程中实例化。
- 该语言的研发是国际性倡议，旨在推动函数逻辑语言的研究与教学。
- 开发生态包含PAKCS、KiCS2和MCC等编译器工具链。
- Curry包管理器(CPM)负责库文件分发与版本依赖管理。
- CurryDoc工具可生成HTML和LaTeX格式的文档。
- Curr(y)gle是类似Haskell的Hoogle的API搜索引擎。