haskell中用户定义的类型

Question

我可以在Haskell中定义一个名为HundredBytes的数据类型，使得TwoBytes的值总是有100个字节吗？

谢谢！

Answer 1

Haskell没有字节概念，这通常是一件好事 - 考虑数字的宽度（以字节为单位）几乎总是更有用，特别是因为允许实现使用标记位。如果您想要具有100 Word8个值的内容，则可以执行以下操作：

data Two a = Two a a
data Five a = Five a a a a a
newtype Hundred = Hundred (Five (Five (Two (Two Word8))))