Haskell中GHC.Prim中“let x = x in x”和“data Float#”的含义是什么？

我查看了GHC.Prim的模块,发现GHC.Prim中的所有数据似乎被定义为数据Float#,而没有像= A | B这样的东西,GHC.Prim中的所有函数被定义为gtFloat#= let x = x in x.

我的问题是这些定义是有意义的,它们是什么意思.

我检查了GHC.Prim的标题如下

{-
This is a generated file (generated by genprimopcode).
It is not code to actually be used. Its only purpose is to be
consumed by haddock.
-}

我想这可能与问题有一些关系,谁能请我解释一下.

解决方法

这是魔法 ：)

这些是“原始运算符和操作”.它们与编译器连接,因此没有用于原语的数据构造函数,并且所有函数都是底部的,因为它们在纯的haskell中必然不能表达.

(底部代表着一个haskell程序中的“洞”,无限循环或未定义的是底部的例子)

换一种方式

这些数据声明/函数是提供对原始编译器内部部分的访问. GHC.Prim存在导出这些原语,它实际上并没有实现它们或任何东西(例如它的代码实际上不是有用的).所有这些都在编译器中完成.

这意味着需要极其优化的代码.如果你认为你可能需要它,一些有用的reading关于GHC的原语