dimensional-classic:自动从code.google.compDimension导出

尺寸 Dimensional是一个库，提供用于使用物理量和单位执行算术的数据类型。 有关数量/单位的物理尺寸的信息嵌入其类型中，并且在编译时由类型检查器验证操作的有效性。 将数值作为数量进行装箱和拆箱是通过与单位相乘和相除来完成的。 该库旨在尽可能实际地实施/鼓励单位使用的。 维度的是库，它提供整数的类型级别表示。 Numtype是维库的依赖项。 有关文档：请参阅中的结论和用法，有文化的haskell代码或Wiki中的示例。 安装 最新版本可以通过cabal install dimensional安装，也可以从下载。 其他实施 基于多参数类型类和功能依赖关系的此维实现是规范版本。 除了基于功能依赖关系建立的标准维之外，还有一种基于（开放）类型家族建立的维的实验实现。 使用cabal install dimensional-tf 。 （未来） 上正在起草利用数据种类和封闭类型族的新