问精益4导出代码到另一种语言
EN

Stack Overflow用户

提问于 2022-11-03 10:27:05

回答 1查看 23关注 0票数 0

是否有可能将精益语言(从精益4)导出到另一种语言，就像Isabelle用代码生成Haskell或Scala一样？

在文件里没有找到。

发布于 2022-11-03 11:50:30

不，这样做一般都是个坏主意。精益的运行时性能，特别是对于Array这样的原始类型，基本上依赖于“实用但就地”技术。使用跟踪垃圾收集器实现的语言通常不能实现这种运行时优化，因此在修改数组时必须回到保守复制。

一种更好的方法是承认精益本身是一种通用语言，并使用它的外接功能接口 (是的，在本文编写时还没有完全完成和稳定，但已经被一些人成功地使用了)来与用其他语言编写的代码进行接口。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/74301506

复制

相似问题

问精益4导出代码到另一种语言EN