Haskell是否有记录成员的指针/引用？

Question

我可以创建和参考相对指针为结构用C++成员使用::*,.*和->*语法,如:

char* fstab_t::*field = &fstab_t::fs_vfstype;
my_fstab.*field = ...

在Haskell中,我可以轻松地为记录getter创建临时标签,例如:

(idxF_s,idxL_s) = swap_by_sign sgn (idxF,idxL) ;

Afaik,然后我不能使用这些getter更新记录,如:

a { idxF_s = idxL_s b }

是否有一种简单的方法可以在不编码每个记录设置器的情况下执行此操作

Answer 1

将第一类值捆绑在一起的吸气剂和定位器称为透镜.这样做有很多套餐; 最受欢迎的是数据镜头和fclabels.这之前的SO问题是一个很好的介绍.

这两个库都支持使用Template Haskell从记录定义中导出镜头(使用数据镜头,它作为可移植性的附加包提供).您的示例将表示为(使用数据镜头语法):

setL idxF_s (b ^. idL_s) a

(或等效:idxF_s ^= (b ^. idL_s) $ a)

当然,你可以通过将他们的getter和setter转换为一般来改变镜头:

-- I don't know what swap_by_sign is supposed to do.
negateLens :: (Num b) => Lens a b -> Lens a b
negateLens l = lens get set
  where
    get = negate . getL l
    set = setL l . negate

(或等效地:negateLens l = iso negate negate . l¹)

一般来说,我建议您在处理任何类型的非平凡记录处理时使用镜头; 它们不仅极大地简化了记录的纯转换,而且两个包都包含使用镜头访问和修改状态monad状态的便利功能,这非常有用.(对于数据镜头,您需要使用data-lens-fd软件包在任何一个中使用这些便利功能MonadState;同样,它们在一个单独的软件包中以便于移植.)

¹使用任一软件包时,您应该使用以下命令启动模块:

import Prelude hiding (id, (.))
import Control.Category

这是因为它们使用Prelude id和(.)函数的广义形式- id可以用作从任何值到自身的镜头(不是所有有用的,不可否认),并且(.)用于构成镜头(例如getL (fieldA . fieldB) a,相同getL fieldA . getL fieldB $ a).较短的negateLens定义使用此.

Answer 2

你想要的是一流的唱片公司标签,虽然这种语言不存在,但Hackage上有几个实现这种模式的软件包.其中一个是fclabels,它可以使用Template Haskell为您生成所需的样板.这是一个例子:

{-# LANGUAGE TemplateHaskell #-}

import Control.Category
import Data.Label
import Prelude hiding ((.))

data Foo = Foo { _fieldA :: Int, _fieldB :: Int }
  deriving (Show)

$(mkLabels [''Foo])

main = do
  let foo = Foo 2 3

  putStrLn "Pick a field, A or B"
  line <- getLine

  let field = (if line == "A" then fieldA else fieldB)

  print $ modify field (*10) foo