一句话Curry 是一种融合函数式编程与逻辑编程特性的声明式多范式编程语言。
定价免费 抓取正文未提及商业定价；页面提供 Downloads、Try It、教程、报告、编译器与包管理等资源，未看到收费信息。
适合谁函数式/逻辑式语言研究者、编程语言课程教师与学生、需要声明式建模和非确定性搜索能力的开发者
核心功能函数式与逻辑式编程一体化强类型与类型推断惰性求值非确定性计算自由变量声明式 IO约束与并发约束求值封装搜索与多种搜索策略包管理器 CPMCurryDoc 文档生成Curr(y)gle API 搜索
功能与用途Curry 是声明式多范式编程语言，核心用途是将函数式编程的嵌套表达式、高阶函数、强类型、惰性求值与逻辑编程的非确定性、内置搜索、自由变量、部分数据结构结合，用于研究、教学和集成函数式逻辑语言应用。
支持语言/框架其自身是一门编程语言；语法几乎类似 Haskell。页面未提及主流框架支持。
自托管选项提供多个 Curry 系统/编译器实现，包括 PAKCS、KiCS2、MCC；但正文未明确说明自托管部署方式。
定价未提及收费；页面提供下载与试用入口，未显示商业价格。
API/SDK提供 Curr(y)gle API Search，用于搜索由 CPM 索引的 Curry 库，可按操作、数据类型和模块名称搜索。
集成与生态生态包括多个编译器实现、Curry Package Manager（CPM）用于分发和安装库及应用并管理版本依赖、CurryDoc 用于生成 HTML/LaTeX 文档、Curr(y)gle 用于 API 搜索，以及 Curry mailing list 参与语言设计讨论。
文档质量页面提到有详细 Curry Report、功能介绍、教程、邮件列表、CurryDoc 文档生成工具；从入口完整性看适合学习和研究，但正文未展示 API 文档覆盖度、示例数量或更新频率。
中国访问未知
适用场景编程语言研究与教学、声明式问题建模、非确定性搜索、约束求解实验、函数式逻辑程序原型开发。
同类Haskell、Prolog、Mercury、OCaml、Idris、Lean 等函数式或逻辑式/证明相关语言可作为不同方向替代品。