【文件属性】:
文件名称:idris-jvm:Idris的JVM字节码后端
文件大小:183KB
文件格式:ZIP
更新时间:2021-04-13 07:15:59
java jvm idris Idris
idris-jvm
Idris的JVM字节码后端
先决条件
与libffi。 要使用cabal在libffi中安装Idris: cabal install idris -f ffi
Java 8
安装
从下载并提取JVM字节码后端。 确保下载与您的Idris版本相对应的发行版。
使用提取的目录路径定义IDRIS_JVM_HOME变量
从解压缩的目录中,运行$IDRIS_JVM_HOME/bin/install以安装idris-jvm的Idris软件包。
将$IDRIS_JVM_HOME/codegen/bin添加到PATH 。
例子
helloworld.idr
module Main
import IdrisJvm.IO
data Tree a = Leaf
| Node ( Tree a) a ( Tree a)
inorder : Tree a ->