haskell - 我们可以抽象类型类吗？

Question

我想知道我们不能抽象类型类是否有更深层次的原因(或者我们可以吗？)。

例如，当我们有

fzip :: (forall a.[a] -> [a]) -> [b] -> [c] -> [(b,c)]
fzip f xs ys = zip (f xs) (f ys)

那么我们可以说

fzip (drop 42) [1..100] ['a'..'z']
fzip reverse   [1..100] ['a'..'z']

等等。但我们不能

fzip (map succ) [1..100] ['a'..'z']

我们可以修复:

ezip :: (Enum b, Enum c) => (forall a.Enum a => [a] -> [a]) -> [b] -> [c] -> [(b,c)]
ezip f xs ys = zip (f xs) (f ys)

同样我们可以修复

fzip (map (5*)) [1..100] [1.5, 2.3, 4.7]

和

nzip :: (Num b, Num c) => (forall a.Num a => [a] -> [a]) -> [b] -> [c] -> [(b,c)]
nzip f xs ys = zip (f xs) (f ys)

但是我们不能归并不是很尴尬 ezip和 nzip像这样:

gzip :: (g b, g c) => (forall a. g a => [a] -> [a]) -> [b] -> [c] -> [(b,c)]

尽管代码完全相同，但取决于类的名称？
或者我们可以以某种方式？

有趣的是，当实例只是包含函数的记录时，这很容易实现。

Answer 1

你几乎可以用 ConstraintKinds 做到这一点:

{-# LANGUAGE ConstraintKinds, RankNTypes #-}

import Data.Proxy

gzip :: (g b, g c) => Proxy g -> (forall a . g a => [a] -> [a]) -> [b] -> [c] -> [(b,c)]
gzip _ f xs ys = zip (f xs) (f ys)

test1 = gzip (Proxy :: Proxy Enum) (map succ) [1 .. 100] ['a' .. 'z']
test2 = gzip (Proxy :: Proxy Num) (map (5*)) [1 .. 100] [1.5, 2.3, 4.7]

主要区别在于您需要 Proxy参数，因为 GHC 无法推断 g 的正确实例化不靠别人帮助。