haskell - Haskell中字段值和本地范围之间的命名冲突

Question

这是一个编码风格问题，而不是技术问题。

我经常遇到一个问题，我使用haskell(次优)记录语法(或镜头，问题最终相同)来创建data。类型。我最终得到了以我的字段命名的字段访问器函数。作为一个尽职尽责的程序员，我试图让我的记录字段名称有意义。

稍后，我需要从我的类型中取出一个字段并将其值保存在局部变量中。这通常在 do 中的 StateMonad 中完成。堵塞。问题是我怎么称呼局部变量。最明显的名称已被用作字段访问器。我发现我自己使用的缩写往往会使我的代码可读性降低。

是否有解决此问题的 Haskell 编码约定？

示例

data Qaax = Qaax {
      foo :: SomeFoo
    , bar :: SomeBar
    , ...
    }

baz :: (MonadState Qaax m) => (...) -> m ()
baz (...) = do
  f <- gets foo -- I'd really like to use something more descriptive then
                -- `f` but `foo` is already taken.
  ...
  return ()

Answer 1

NamedFieldPuns 扩展可以帮助解决这个问题。当对记录进行模式匹配时，它会绑定(bind)一个与记录字段同名的变量:

{-# LANGUAGE NamedFieldPuns #-}

baz :: (MonadState Qaax m) => m ()
baz = do
  Qaax {foo} <- get
  return ()

一个可能的问题是访问器被 do 的其余部分遮蔽。堵塞。