了解 newtype 以及何时使用它

如何解决了解 newtype 以及何时使用它

我对纯脚本和函数式编程很陌生

从类型系统的角度来看，新类型是不同的。这提供了额外的类型安全层。

这是我的数独解算器（到目前为止）的起始约 50 行代码的样子：

newtype Index = Index Int
newtype Option = Option Int
newtype Column = Column Int
newtype Row = Row Int
newtype Box = Box Int
newtype Cell = Cell Int

derive newtype instance eqIndex :: Eq Index
derive newtype instance eqOption :: Eq Option
derive newtype instance eqColumn :: Eq Column
derive newtype instance eqRow :: Eq Row
derive newtype instance eqBox :: Eq Box
derive newtype instance eqCell :: Eq Cell

derive newtype instance semiringIndex :: Semiring Index
derive newtype instance semiringOption :: Semiring Option
derive newtype instance semiringColumn :: Semiring Column
derive newtype instance semiringRow :: Semiring Row
derive newtype instance semiringBox :: Semiring Box
derive newtype instance semiringCell :: Semiring Cell

derive newtype instance ringIndex :: Ring Index
derive newtype instance ringOption :: Ring Option
derive newtype instance ringColumn :: Ring Column
derive newtype instance ringRow :: Ring Row
derive newtype instance ringBox :: Ring Box
derive newtype instance ringCell :: Ring Cell

derive newtype instance commutativeRingIndex :: CommutativeRing Index
derive newtype instance commutativeRingOption :: CommutativeRing Option
derive newtype instance commutativeRingColumn :: CommutativeRing Column
derive newtype instance commutativeRingRow :: CommutativeRing Row
derive newtype instance commutativeRingBox :: CommutativeRing Box
derive newtype instance commutativeRingCell :: CommutativeRing Cell

derive newtype instance euclideanRingIndex :: EuclideanRing Index
derive newtype instance euclideanRingOption :: EuclideanRing Option
derive newtype instance euclideanRingColumn :: EuclideanRing Column
derive newtype instance euclideanRingRow :: EuclideanRing Row
derive newtype instance euclideanRingBox :: EuclideanRing Box
derive newtype instance euclideanRingCell :: EuclideanRing Cell

derive newtype instance showIndex :: Show Index
derive newtype instance showOption :: Show Option
derive newtype instance showColumn :: Show Column
derive newtype instance showRow :: Show Row
derive newtype instance showBox :: Show Box
derive newtype instance showCell :: Show Cell

class IsInt a where toInt :: a -> Int
instance ciInt :: IsInt Int where toInt a = a
instance ciIndex :: IsInt Index where toInt (Index a) = a
instance ciOption :: IsInt Option where toInt (Option a) = a
instance ciColumn :: IsInt Column where toInt (Column a) = a
instance ciRow :: IsInt Row where toInt (Row a) = a
instance ciBox :: IsInt Box where toInt (Box a) = a
instance ciCell :: IsInt Cell where toInt (Cell a) = a

很可能，我很快就会需要 Ord 和其他几个。

所以现在这阻止了我意外添加/减去 index 和 row，或者将参数混合到操作这些类型的函数中。为了有效地为 Int 提供 7 个名称，这也是相当多的样板文件。

我猜这是矫枉过正，我可能不应该打扰？我可以使用类型同义词来保持代码的描述性并失去一些类型安全性。

还有其他/更好的方法吗？

解决方法

就像生活中的一切一样，没有食谱。这是一个光谱。一个极端根本没有类型安全，或者在另一个极端淹没在新类型中。真相一如既往地介于两者之间。

但要告诉您更具体的内容，我需要了解更大的设计。仅从这些定义上说是不可能的。可能您确实需要所有这些，在这种情况下……好吧……您确实需要所有这些。

但根据我的经验，通常情况并非如此。一些需要思考的问题可能是：

• 他们真的都需要Ring和CommutativeRing吗？不知怎的，我对此表示怀疑。
• 真的需要将它们全部分开，还是可以将某些组合成一种类型？例如，Row 和 Column 可以是一个 Point。
• 如果您希望类型具有数字的所有特征，那么它实际上应该是数字吗？
• 是否可以通过使用命名参数（通过记录）来实现类型安全？

我通常处理这些事情的方式是启动准系统，然后根据需要添加对内容的支持。您可能会惊讶于实践中几乎没有需求。

这一点首先适用于使用新类型。您真的有可能混淆行和列吗？或者你只是想堵住每一个可能的洞以防万一？如果是后者，那么是的，您最终会得到大量孔塞，这不足为奇。