Luc*_*ane 5 scheme functional-programming ml google-nativeclient
那些函数式语言编译器都可以将函数式语言编译为C代码.谷歌的NaCl SDK可以编译C.通过首先与其他编译器之一进行编译并通过谷歌的Native Client SDK运行结果来创建Native Client应用程序是否合理？
任何人都这样做或有关于可能性,陷阱,限制的具体信息？
非常感谢!
我只能从对 Google NaCl 内部结构有些不确定的立场来回答，但我对 MLton 了解一点。
从理论上讲，它应该有效。事实上，MLton 以非常特定的方式使用内存，并期望能够控制环境。我看到的主要缺陷是 NaCl 是否限制可能执行的某些类型的操作，以保证执行环境的完整性和安全性。 此链接表明这可能不是问题。
而且，MLton 生成的 C 代码真的非常非常古怪。再次强调，这取决于 NaCl 在环境的总体通用性方面放弃了什么，以保证安全。您对 MLton 输出的代码几乎没有控制权，如果需要任何修改，重写运行时是一项艰巨的任务。我会看看它是否有效，然后开始调整运行时系统中引起问题的任何部分。
顺便说一句，如果您让 MLton 代码运行在浏览器上，我很乐意看到结果！：D