Haskell 尺寸标注的类型定义

如何定义尺寸的类型

你能用另一种类型来定义一种类型吗？（即一英寸等于72个附言点）。
为一个尺寸单位制作一个新的类型有意义吗

我见过其他类型单元的库，但我感兴趣的维度是：

---

缩放点（最小，可能是整数？），点（65536个缩放点），pica（12个点），等等。

我认为这是s可以提供帮助的地方。这是一个开始理解它们的好地方。代码是可读性很强的Haskell代码，因此我建议您通读一遍。

我认为这是s可以提供帮助的地方。这是一个开始理解它们的好地方。代码是可读的Haskell代码，因此我建议通读一遍。

这些不是度量单位，不是维度吗？@delnan:我是按照TeX使用的术语来做的。我的字典上说：“维度：某种可测量的范围，如长度、宽度、深度或高度”“维度”似乎是这个问题的合适术语。当我来到这里希望看到这个词（即axis）的不同含义时，我发现它的意思既简单又自然。注意——你可能认为你想要的一些单位（Em，En）不是标量值，而是“当前点大小”的上下文。@stephen tetley：你可以定义“Em”和“En”作为无量纲乘数。这些不是度量单位，不是量纲吗？@delnan：我用的是TeX使用的术语。我的字典上说：“量纲：某种可测量的范围，如长度、宽度、深度或高度”“量纲”似乎是这个问题的合适术语。当我来到这里希望看到这个词（即axis）的不同含义时，我发现它的意思既简单又自然。注意——你可能认为你想要的一些单位（Em，En）不是标量值，而是“当前点大小”的上下文。@stephen tetley：你可以定义“Em”和“En”作为无量纲乘数。+1表示量纲包，它完全满足问题的要求。+1表示量纲包，它完全满足问题的要求。