haskell - 在没有类型注释的情况下避免 let 绑定(bind)中的单态性

Question

我有一些使用类型来消除实例歧义的代码(真正的代码是使用 GHC.TypeLits 单例作为类型标签，但我认为这没有密切关系)，我想使用 let 绑定(bind)来避免文本- 级别重复；不幸的是，这使结果单一化。

以下是问题的示例:

class Foo a where
  foo :: a

instance Foo Int where
  foo = 0

instance Foo Char where
  foo = 'a'

data Bar a = Bar String
  deriving (Show)

bar :: forall a. (Show a, Foo a) => a -> Bar a
bar _ = Bar $ show (foo :: a)

idInt :: Bar Int -> Bar Int
idInt = id

idChar :: Bar Char -> Bar Char
idChar = id

main = let quux = bar undefined in
  print (idInt quux) >> print (idChar quux)

上面的代码无法编译(但是，当然，如果我输入 annotate quux 为多态，一切正常)，正确地提示它无法匹配 Int 与 Char。有什么方法可以让编译成功，而无需类型注释，也无需在每个使用站点重复 bar undefined ？

Answer 1

{-# LANGUAGE NoMonomorphismRestriction #-}

或者如果你想要一些不太全局化的东西

let quux () = bar undefined in 
    print (idInt (quux ()) >> print (idChar (quux ()))

后者起作用的原因是，只有当等号左侧没有参数时，绑定(bind)才是单态的。

let foo = \x y -> x + y   -- :: Integer -> Integer -> Integer
let bar x y = x + y       -- :: (Num a) => a -> a -> a

因此，要使 quux 不单态化，您必须在等号左侧为其提供一个参数。如果 quux 不是一个值而是一个函数，您可以简单地进行 eta 扩展以获得相同的效果:

let quux x = bar undefined x in ...

对于前者，不必担心性能 - 如果您始终将其称为 quux ()，那么它将被内联并生成与具有显式类型签名的版本相同的代码.