#线性类型系统

Granule是一种函数式编程语言，采用线性类型系统和分级模态类型，实现细粒度的效果和副效果控制。该语言支持精确的资源管理，并提供独特的map函数类型，可准确追踪参数函数的使用次数。Granule配备交互式模式和文档生成工具，便于研究线性类型和分级模态在编程中的应用。尽管仍处于开发阶段，Granule已提供丰富的示例和完整的标准库文档，为探索创新编程概念提供了实验平台。