Question

几乎每次我做一个记录，我都会发现自己之后立即添加makeLenses ''Record（来自lens），而我实际上并没有真正使用记录给我的投影函数。实际上，看看makeLenses生成的内容（使用GHC -ddump-splices标志），看起来甚至不使用这些投影函数，除了为它生成的镜头选择一个名称。

有没有办法，无论是通过TemplateHaskell，还是通过预处理器，或者坦率地说任何其他魔法，我都可以将记录投影功能直接放在Van Laarhoven镜头上吗？

要明确，那就意味着

data Record a b = Record { x :: a, y :: b }

会生成（使用type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t）

x :: forall a b c. Lens (Record a b) (Record c b) a c
x f (Record _x _y) = fmap (\x' -> Record x' _y) (f _x)

y :: forall a b c. Lens (Record a b) (Record a c) b c
y f (Record _x _y) = fmap (\ y' -> Record _x y') (f _y)

而不是

x :: forall a b. Record a b -> a
x (Record _x _y) = _x

y :: forall a b. Record a b -> b
y (Record _x _y) = _y

它不仅可以摆脱样板makeLenses，还可以释放命名空间（因为投影函数不会被定义）。

这是一件小事，但由于它附在我的所有记录上，并且记录不是那么罕见，它真的开始让我神经紧张......

Answer 1

有一项名为OverloadedRecordFields/MagicClasses的GHC扩展提案。 Adam Gundry is working on an active pull request。它与OverloadedRecordLabels结合使用，旨在解决这个问题！

data Foo = Foo { x :: Int, y :: Int }

class IsLabel (x :: Symbol) a where
  fromLabel :: Proxy# x -> a

使用类似Foo的示例数据类型，表达式#x中的子表达式#x (foo :: Foo)将被编译器神奇地扩展为fromLabel @"x" @Foo proxy#。 @符号，类型应用符号，是另一个GHC 8-ism。

与x不同，#x的行为可以根据您的需要进行修改。你可能只是一个常规的投影功能。启用OverloadedLabels后，我们就可以访问多态投影函数getField：

instance HasField name big small => IsLabel name (big -> small) where
  fromLabel proxy big = getField proxy big

或我们可以用刺式镜片满足约束条件：

instance ( Functor f
         , HasField name big small
         , UpdateField name big big' small') =>
         IsLabel name ((small -> f small') -> (big -> big')) where
  fromLabel proxy f big =
    setField proxy big <$> f (getField proxy big)

通过这样的实例，您可以立即开始使用#x作为镜头：

over #x (* 2) (Foo 1008 0) -- evaluates to Foo 2016 0

用镜头替换记录投影功能

1 个答案: