prism

Prism 是一门轻量级函数式编程语言，专注于代数效应、多发续体（multishot continuations）和原生代码生成。其类型系统通过行多态自动推断并组合效应集，精确跟踪可观测副作用（如I/O、异常），支持秩-N多态、类型类及内建透镜与流；编译器基于Rust实现，将源码转为A-范式中间表示，经LLVM生成原生二进制，并采用确定性引用计数管理内存；同时支持WebAssembly后端，在浏览器中直接运行。适用于需精细控制副作用、追求可验证语义与高性能原生执行的系统级函数式开发场景。