尺寸的类型定义

Question

如何定义尺寸的类型？

您可以根据其他类型定义类型吗？ （即一英寸是72个PostScript点） 为尺寸单位制作新类型是否有意义？

我见过其他类型的图书馆，但我感兴趣的尺寸是： 缩放点（最小，可能是Int？），点（65536缩放点），异食癖（12点）等。

Answer 1

我认为这是phantom type可以提供帮助的地方。 dimensional package是开始理解它们的好地方。代码是有文化的Haskell，非常易读，所以我建议你仔细阅读。