haskell - Haskell 中数据类型设计和使用的最佳实践

Question

关闭。这个问题是 opinion-based 。目前不接受答案。

---

想要改进这个问题吗？更新问题，以便 editing this post 可以用事实和引文来回答它。 .

已关闭 4 年前。

Improve this question

我的问题与more general question有关关于 Haskell 程序设计。但我想关注一个特定的用例。

我定义了一个数据类型(例如 Foo )，并通过模式匹配在函数中使用它(例如 f )。后来，我意识到类型( Foo )需要一些额外的字段来支持新功能。但是，添加字段会改变类型的使用方式；即，取决于类型的现有功能可能会受到影响。向现有代码添加新功能，无论多么没有吸引力，都是难以避免的。我想知道 Haskell 语言级别的最佳实践是什么，可以最大限度地减少此类修改的影响。

例如现有代码为:

data Foo = Foo {
  vv :: [Int]
}

f :: Foo -> Int
f (Foo v) = sum v

函数f如果我将另一个字段添加到 Foo 将出现语法错误:

data Foo = Foo {
  vv :: [Int]
  uu :: [Int]
}

但是，如果我定义了函数 f首先如下:

f :: Foo -> Int
f foo = sum $ vv foo

，然后即使对 Foo 进行修改, f仍然是正确的。

Answer 1

镜头很好地解决了这个问题。只需定义一个指向感兴趣领域的镜头:

import Control.Lens

newtype Foo = Foo [Int]

v :: Lens' Foo [Int]
v k (Foo x) = fmap Foo (k x)

您可以将此透镜用作 setter/getter :

view v :: Foo -> [Int]

...二传手:

set v :: [Int] -> Foo -> Foo

...和映射器:

over v :: ([Int] -> [Int]) -> Foo -> Foo

最好的部分是，如果您稍后更改数据类型的内部表示形式，您所要做的就是更改 v 的实现以指向感兴趣字段的新位置。如果您的下游用户仅使用镜头与您的 Foo 交互，那么您不会破坏向后兼容性。