本文最后更新于2 年前，文中所描述的信息可能已发生改变。
什么是 Idris2？
看官网：https://www.idris-lang.org/
安装过程
环境为 Ubuntu 20.04（WSL2）
安装 Chez Scheme
sudo apt install chezscheme下载 Idris2
链接：https://www.idris-lang.org/pages/download.html
可以用 cURL 或者 wget 下载上面给的最新版本，也可以用 git clone 把仓库下载下来以使用最新开发版。
如：
wget https://www.idris-lang.org/idris2-src/idris2-0.5.1.tgz解压
# 改成你下载的文件名，直接 `git clone` 的话就不是压缩包了，不需要解压
tar -zxvf idris2-0.5.1.tgz进入文件夹
cd idris2-0.5.1安装
# 这里的 chezscheme 可能是 chez、chezscheme9.5（你下的版本号）
make bootstrap SCHEME=chezscheme
make install如果在这一步发现没有 make 指令，请先 sudo apt install make；如果这一步说没有 gmp.h 请先 sudo apt install libgmp3-dev
环境变量
此时可执行文件已经在 build/exec 下面了，可以直接把这个文件夹下的一个文件和文件夹都复制到 /bin 下面，也可以修改环境变量
Hello world
新建文件 hello.idr，输入以下代码：
module Main
main : IO ()
main = putStrLn "Hello world"然后在控制台输入 idris2 hello.idr -o hello 你就会在看到有 build 文件夹，然后 build/exec/hello 即是可以执行文件，直接 ./build/exec/hello 即可执行。
更多内容就看官方教程吧！
What is Idris2?
See official website: https://www.idris-lang.org/
Installation
This article is under Ubuntu 20.04 (WSL2)
Install Chez Scheme
sudo apt install chezschemeDownload Idris2
Link: https://www.idris-lang.org/pages/download.html
You can use cURL or wget to download the latest version. You can also run git clone to clone the repo for the latest dev version.
E.g.
wget https://www.idris-lang.org/idris2-src/idris2-0.5.1.tgzUnpackaging
# Change filename to yours. If you run `git clone`, you don't need to unpackage
tar -zxvf idris2-0.5.1.tgzEnter folder
cd idris2-0.5.1Installation
# chezscheme here maybe chez, chezscheme9.5 (depending on the version)
make bootstrap SCHEME=chezscheme
make installIf you don’t have make command, run sudo apt install make first. If it cannot find gmp.h, run sudo apt install libgmp3-dev.
Environment variable
Now the executable file is uder build/exec. You can copy the file and folder under this folder to /bin. You can also modify your environment variables.
Hello world
Create a new file named hello.idr, enter the following code:
module Main
main : IO ()
main = putStrLn "Hello world"Then run idris2 hello.idr -o hello and you will see folder build. Then the file build/exec/hello is executable file. Just run ./build/exec/hello and you can see the result of the code.
For more contents, read official course!
