文件名称：singletons:Haskell中使用单例的虚假依赖类型
文件大小：548KB
文件格式：ZIP
更新时间：2024-06-02 10:09:43
Haskell
单身人士 这是singletons singletons-th库， singletons-base库和singletons-base库的自述文件。 该文件包含这些库中的定义和功能的文档。 singletons库由Richard Eisenberg（ ）编写，Jan Stolarek（ ）和Ryan Scott（ ）做出了重要贡献。 有两篇描述这些库的论文。 原始的一种，具有单例的依赖类型编程，可，在本文档中将其称为“单例论文”。 后续文件“在Haskell中将功能提升为类型家庭”在可用，在本文档中将其称为“推广文件”。 Ryan Scott（ ）是积极的维护者。 图书馆的目的 从广义上讲， singletons库定义了一个单例类型的生态系统，它使程序员可以使用依赖类型化的技术来在程序中的类型之间施加丰富的约束。 为此，这三个库具有以下作用： singletons库是一个小的