[博客翻译]Haskell中一个使用Escard√≥-Oliva函数的x86汇编程序

编写一个汇编器是一个有趣的例子：需要计算跳转指令与其目标标签之间的距离，而目标标签可能出现在跳转指令之后。事实证明，可以使用tardis单子或在Curry中编写一个单遍汇编器，利用逻辑编程。 然而，基于tardis的汇编器不适用于X86——跳转指令本身可能占用2或5字节，具体取决...