【文件属性】：
文件名称：idris-go:Idris的Go后端
文件大小：20KB
文件格式：ZIP
更新时间：2021-04-28 11:35:56
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)