idris golang

用于Idris的实验性Google Go后端这样做的动机我想改进我的Haskell和Idris，并学习Go ？？？一些功能/好处与Go以及通过cgo与C轻松互操作UTF-8支持来自Go（进入Idris）支持的回调还没有调整，性能似乎相当不错——几乎和C后端一样快细节/笔记Go编译速度非常快，这在将其用于语言后端时非常好Go有一个性能相当好的GC（正在不断改进） Go具有内置的unicode支持（由该后端使用） Go具有标准的lib big int支持（由该后端使用） Go有很好的反射特性（被这个后端使用，让事情变得很容易）此后端不需要或使用Go第三方库大多数官方Idris测试都成功运行——请参阅一些代码示例UTF-8支持，所以这可以工作并产生“βγδ”作为输出（C后端还没有） m