haskell - 什么是在一个被调用的元组上分配一个仿函数？

Question

这个操作家族有名字吗？

Functor f => f (a, b) -> (f a, f b)
Functor f => f (a, b, c) -> (f a, f b, f c)
...
Functor f => f (a, b, ..., z)  -> (f a, f b, ..., f z)

它们很容易实现，只是想弄清楚该怎么称呼它。

\fab -> (fst <$> fab, snd <$> fab)

对我来说，它是在 f ~ (x ->) 的背景下出现的。 .

Answer 1

在您的特定情况下f ~ (x ->) ，我认为它们可以称为“幂律”。

确实，理论上，写A -> B 是很常见的。作为权力B^A .对类型(A,B)通常也写成产品 (A*B) .

然后你的第一条定律写成

(A*B)^C = A^C * B^C

并且是经典的类型同构。这可以很容易地以明显的方式推广到元组。

一般情况下， f是一个任意的仿函数，我现在除了“分布”之外别无他法。