[博客翻译]Haskell中一个使用Escard√≥-Oliva函数的x86汇编程序 编写一个汇编器是一个有趣的例子:需要计算跳转指令与其目标标签之间的距离,而目标标签可能出现在跳转指令之后。事实证明,可以使用tardis单子或在Curry中编写一个单遍汇编器,利用逻辑编程。 然而,基于tardis的汇编器不适用于X86——跳转指令本身可能占用2或5字节,具体取决... 由 openoker发布于 18天前 函数式编程汇编器哈斯克尔Escardó-奥利瓦跳转指令 阅读次数 60
[博客翻译]我对Kotlin的思考:4年后的展望 每当我向其他开发者解释Masset使用Kotlin作为我们的主要后端语言时,我常常会看到他们脸上露出疑惑的表情。“那个Android语言?用在你们的后端?这听起来有点奇怪……你们有没有考虑过用Rust重写?”🤨 作为回应,我发现自己常常难以详细解释我到底喜欢Kotlin的哪些方面,以及为什么我们选择它作为我们的默认语言。不管好坏,我们这些技术人在技术选择上总是非常挑剔的。 从理论上讲,Kotli... 由 openoker发布于 2025-01-11 12:01:40 Kotlin后端语言空安全标准库函数式编程 阅读次数 63