8
Haskell / GHC中的“ forall”关键字有什么作用？
我开始了解如何forall在这样的所谓“现有类型”中使用关键字： data ShowBox = forall s. Show s => SB s 但是，这只是如何forall使用的一个子集，我根本无法在这样的事情上全神贯注于它的使用： runST :: forall a. (forall s. ST s a) -> a 或解释为什么这些不同： foo :: (forall a. a -> a) -> (Char, Bool) bar :: forall a. ((a -> a) -> (Char, Bool)) 或整个RankNTypes东西... 我倾向于使用清晰，无术语的英语，而不是学术环境中通常使用的那种语言。我尝试阅读的大多数解释（通过搜索引擎可以找到的解释）都存在以下问题： 他们不完整。他们解释如何使用这个关键字（如“生存型”）的一个组成部分，这使得直到我读码我感到高兴的是，使用它在一个完全不同的方式（比如runST，foo和bar以上）。 假设我在本周流行的离散数学，范畴论或抽象代数的任何分支中都读到了最新的东西，他们的想法密密麻麻。（如果我从来不读的话“咨询文件无论执行的细节”再次，这将是太快了。） 它们的编写方式经常将甚至是简单的概念变成曲折而破碎的语法和语义。 所以... …