代码之家 › 专栏 › 技术社区 › Rares Dima

将haskell代码泛化/编译成lambda

decompiling compilation haskell

Rares Dima · 技术社区 · 6 年前

main 函数只是被“预处理”成一个大的lambda,所有的东西都被内联,基本上你的整个代码变成一个单一的,巨大的lambda表达式。

我的问题是:

我上面说的是真的吗?
如果问题1的答案是“是”,是否有。。。反编译器/部分编译器/预处理器?我知道 this 这可以让您看到C/+++和Haskell等语言背后的汇编代码,但是有什么可以用来探索生成的lambda表达式吗?

这个问题纯粹是从教育的角度提出的,并不是为了寻求一个特定问题的解决方案。我只是想多学一门我觉得非常迷人的语言。

1 回复 | 直到 6 年前

bergey 6 年前

让我们区分一下 语义学 哈斯凯尔和GHC的实施。主要是因为我们对语言语义使用的术语与汇编语言不同,但也因为其他一些编译器的工作方式可能与GHC不同。

每个Haskell程序定义 main 表达类型 IO () 主要的 是一些嵌套的函数调用树。即使是一个 do 块定义为对函数的调用 (>>) 和 (>>=)

GHC使用启发式来决定内联什么,以获得最佳的运行时性能。它通常会内联非递归的小表达式。我相信运行时系统维护当前正在评估的函数的调用堆栈,这与用C或其他命令式语言编译函数调用的运行时结果没有什么不同。

推荐文章

daniel451 · 从源代码编译Python:多线程测试?

6 年前

mbalug · 为ARM编译c++源代码

6 年前

SuzLy · 使用flex编译简单令牌标识符

7 年前

user8659414 · Make无法识别我的库!

7 年前

Farzad · 序列化CUfunction对象

7 年前

Vladimir Shevyakov · 未在Flex AS3中注册的关键事件

7 年前

mxbi · 编译redis的hiredis依赖项时出现奇怪的错误:cc:错误:x86\u 64:没有这样的文件或目录

7 年前

Jersey · C++:何时需要重新编译有问题?

7 年前

Ogglas · C#->Roslyn->DocumentEditor。ReplaceNode->代码缩进和格式

7 年前

Radha Gogia · 在编译器的哪个阶段,会检测到标识符名称过长的错误?

7 年前