Kitten函数式编程语言
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
Kitten 是一种静态类型、基于栈的函数式编程语言，属于 concatenative language，设计目标是“简单、快速”。它试图把函数式编程的组合能力、类型安全抽象与低层编程的可预测性能结合起来，使低层开发具备更高层的表达力。
从功能看，Kitten 的核心是拼接式编程：程序通过组合小片段构建，官方强调这有助于重构和代码复用。类型系统采用 Hindley–Milner 类型推断，用于提升正确性和性能。它还引入 permissions，即效果类型系统，用来控制副作用出现的位置。资源管理方面，Kitten 采用确定性资源管理：值从栈上移除时即可释放，不依赖垃圾收集器，目标是避免不可预测的 GC 暂停。
正文提到当前有一个用 Haskell 编写的解释器，并有一个开发中的原生代码编译器，因此可以先在解释器中交互式尝试，再编译以提升运行效率。项目源码托管在 GitHub，提供 Issues，并可通过 Freenode 的 #concatenative 频道交流。生态层面，官方提到希望与 C 有良好互操作，但未提供包管理、IDE 插件、调试器或成熟标准库生态信息。
网站未给出任何商业定价或付费计划。源码托管在 GitHub，且有 Contribute 入口，可判断其面向开源协作；但抓取正文没有许可证信息，因此不能进一步确认授权细节。
优点是语言理念非常清晰：静态类型、组合式表达、无 GC 资源管理和可预测性能，适合对编程语言设计和低层性能模型感兴趣的用户。缺点同样明显：FAQ 明确说明 Kitten 尚不稳定，语法和标准库会随成熟过程周期性变化，并会出现破坏性变更；原生编译器仍在开发中，教程也处于进行中。
Kitten 更适合语言研究者、函数式/拼接式编程爱好者、底层系统或游戏服务性能模型探索者，不适合作为稳定生产语言大规模采用。中国访问情况正文未涉及，域名和 GitHub 相关资源的可达性需实际测试；替代或参照对象可包括 Factor、Forth、Cat、Haskell、Rust。
本测评基于公开资料整理,不构成购买建议,请以 kittenlang.org 官网实际信息为准。
静态类型、栈式、连接式函数语言，适合语言爱好者。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。