idris cam:后继者:https:github.comthautwarmQuick Backend 源码

idris-cam Idris RTS的框架。 功能(按优先级列出) 一些中间表示的抽象(通用抽象机器,又名CAM) 后端:Python AST 后端:Julia AST 使用Idris IR保留位置,例如DDecls。 Python标准库 方便的FFI 消除尾声 后端:Python字节码 一些原始数据类型的专业化 增量编译 Build && Cam Codegen 建立 git clone https://github.com/thautwarm/idris-cam && cd idris-cam stack build 码元 stack exec idris --