受约束的类型多态性

Question

我试图定义约束多态值的列表。

myList = ["foo", 5] :: [Show a => a]

产生以下错误(GHCi，8.6.5版)

GHC还不支持非预测多态性

无论如何，是否可以指定一种类型，例如，表单f :: Show a => [a] -> [String]的函数可以使用像上面这样的约束值？

换句话说，是否有一种方法可以由编译器验证以下代码？

(++ "fork") . show <$> ["foo", 5]

目前，我试图通过定义值和预期结果的数据集( Show )来测试GADT的Show类型类实例。但是，由于GADTs构造函数指定了值类型，所以不可能天真地这样做。

Answer 1

[Show a => a]并不是你所认为的那样。它是[∀ a . Show a => a]的缩写，即一个值列表，每个值都是多态的，而不是包含具体(但未知)类型的多态列表。这将是一种存在主义，[∃ a . Show a => a]。

虽然Haskell没有在类型表达式中附带匿名存在性，但可以将它们作为声明的类型获得：

{-# LANGUAGE GADTs #-}

data Showable where
  Showable :: Show a => a -> Showable

myList :: [Showable]
myList = [Showable "foo", Showable 5]

Main*> map (\(Showable x) -> show x ++ "fork") myList 
["\"foo\"fork","5fork"]

然而，就像chi已经评论过的那样，这样做是没有意义的:对于一个显示受限的存在主义，你所能做的就是，嗯，展示它。也就是说，它的所有信息都可以用字符串来捕获。好吧，那就马上把绳子存起来！

myList :: [String]
myList = [show "foo", show 5]