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

前端之家收集整理的这篇文章主要介绍了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的原语

原文链接:https://www.f2er.com/css/217229.html

猜你在找的CSS相关文章