文件名称：idris-go:Idris的Go后端
文件大小：20KB
文件格式：ZIP
更新时间：2024-05-18 05:22:36
Haskell
idris-go 的后端。 什么工作 从Idris调用Go（有关echo服务器，请参见examples/echo.idr ） 如果是自递归，则使用goto来实现尾部调用，否则使用蹦床来实现尾部调用，因此，任意深尾调用应该可以工作。 有关一些示例，请参见examples目录。 什么不起作用 从Go致电Idris 并非所有Idris基本功能都已实现。 使用未实现的原始函数将在运行时导致恐慌。 从源头建造 使用最容易。 。 假设您已安装堆栈，则只需执行以下操作： stack build 要运行测试，请执行： stack test 将Idris程序翻译成Go stack exec idris -- -p go --codegen go examples/hello.idr -o hello.go 执照 麻省理工学院/外籍人士。 有关详细信息，请参见LICENSE 。
【文件预览】：
idris-go-master
----.travis.yml(732B)
----README.rst(1KB)
----idris-go.cabal(2KB)
----test()
--------TestRun.hs(1KB)
--------tailrec()
--------hello()
--------pythag()
--------ffi()
----stack.yaml(254B)
----LICENSE(1KB)
----src()
--------IRTS()
--------Main.hs(1KB)
----Setup.hs(795B)
----examples()
--------pythag.idr(199B)
--------echo.idr(3KB)
--------hello.idr(1KB)
----.gitignore(51B)
----libs()
--------Go.idr(1KB)
--------go.ipkg(25B)
--------Makefile(88B)