一句话Effekt 是一门研究级编程语言,主打代数效应处理器、静态 effect safety 与轻量级上下文 effect polymorphism。
定价免费 正文未提及商业定价;可通过 npm 安装编译器,并提供 GitHub、在线 Playground、文档与论文资源。
适合谁编程语言研究者、类型系统/效应系统研究人员、希望实验代数效应与 effect handlers 的开发者、教育与原型验证用户
核心功能支持 lexical/algebraic effect handlers,可将生成器、异常、回溯搜索等高级控制流表达为库静态 type-and-effect system,保证用户定义 effect 在运行前被处理上下文 effect polymorphism,减少高阶函数中的 effect 注解负担在线 Playground、Language Tour、Quick Guides 与研究论文编译器基于 Scala 实现,可编译到 JavaScript,并通过 Node.js 运行提供 REPL 与 VSCode 基础语言服务器/LSP 扩展
功能与用途研究级编程语言,核心用途是探索 algebraic/lexical effect handlers、静态 effect safety 与轻量级 effect polymorphism,可表达异常、生成器、回溯搜索等高级控制流,并用于编程语言研究与教学。
支持语言/框架Effekt 语言本身;编译器当前由 Scala 实现,可编译到 JavaScript,通过 Node.js 运行。安装要求 Java >= 11、Node.js >= 16、npm。
开源还是闭源正文多处提供 GitHub 链接,并提到 VSCode 扩展源代码位于 effekt-vscode repository,但未明确许可证。
自托管选项可本地安装编译器与 REPL;未提及服务器式自托管服务。在线 Playground 可用于试用。
定价未提及付费计划或商业定价;从 npm/GitHub/文档形态看可免费使用,但具体许可证与商业使用条款正文未说明。
API/SDK提供 API Documentation;可通过 effekt 命令行编译/运行,支持 --compile、--out 等参数。正文未描述传统 SDK。
集成与生态支持 npm 安装、Node.js 运行、VSCode 扩展、基础 LSP、在线 Playground、GitHub、YouTube talks、研究论文;第三方库生态信息有限。
文档质量较好。正文包含 Quick Guides、Getting Started、安装说明、Language Tour、概念与特性、案例研究、实现说明、示例与论文,示例代码丰富;但作为研究级项目,稳定性和生产运维文档不足。
中国访问未知
适用场景代数效应研究、类型与效应系统教学、控制流抽象实验、编译器/语言设计原型、自动微分/概率推断/DSL 等研究案例探索
同类Koka、OCaml 5 effect handlers、Unison、Scala、Haskell、Idris、F#