Haskell编译器魔术:什么需要编译器的特殊处理？

Question

在尝试学习Haskell时,出现的困难之一就是当某些东西需要来自编译器的特殊魔法时.记住的一个例子是seq无法定义的函数,即你不能使seq2函数的行为与内置函数完全相同seq.因此,在教某人时seq,你需要提到的seq是特殊的,因为它是编译器的特殊符号.

另一个例子是do-notation,它只适用于Monad类的实例.

有时,它并不总是显而易见的.例如,延续.编译器是否知道Control.Monad.Cont或者您可能是自己发明的普通的Haskell？在这种情况下,我认为即使延续是一种非常奇怪的野兽,编译器也不需要特殊的东西.

语言扩展被搁置,其他编译器魔术Haskell学习者应该注意什么？

Answer 1

几乎所有无法在userland中实现的ghc原语都在ghc-prim包中.(它甚至有一个模块GHC.Magic在那里!)

所以浏览它会给人一种很好的感觉.

请注意,您应该不会,除非你知道自己在做什么使用这个模块的用户态代码.其中大部分可用的东西都是以下游模块的base形式导出的,有时是修改过的.这些下游位置和API被认为更稳定,但ghc-prim不保证它将如何在不同版本之间起作用.

特定于GHC的东西被重新导出GHC.Exts,但是许多其他内容都会进入Prelude(例如基本数据类型,以及seq并发库等).