haskell - ScopedTypeVariables 的缺点

Question

ScopedTypeVariables 的缺点是什么？ ，如果有的话？为什么默认不开启？它会导致更糟糕的推理吗？是否存在失败的边缘情况？在 GHC 中实现是否困难得多？

Answer 1

这也是因为它改变了程序的语义(结合其他扩展)。考虑

{-# LANGUAGE RankNTypes #-}
foo :: forall a . (a -> a) -> (a -> a)
foo = bar
  where
    bar :: a -> a
    bar = id

它编译得很好，但使用 ScopedTypeVariables它甚至无法编译。