下 下载 载 载并 并 并安 安 安装 装 装 如果你满足所有的前提需求，那么安装 奉 奤 奲 奩 女 的最简方式就是在命令行输入： cabal update; cabal install idris 这会安装 奈奡奣 奫 奡奧奥 中的最新版本及其所有依赖。如果你想要最新开发版的话， 可以在 奇 奩 奴 奈奵 奢 上找到 它， 然后根据构建指令来安装。 如果你之前从未安装过使用 奃 奡奢 奡奬 奥 奬 奬 ，那会很清楚这段程序在做什么，是如何做的； 如果你对它感到陌生，我们稍后会 详细地解释。你可以在命令行中输入 idris hello.idr -o hello 来将程序编译成可执行文件。 这会 创建一个名为 hello 的可执行文件，你可以运行它： $ idris hello.idr -o hello $ ./hello Hello world 请注意，美元符号 $ 表示命令行。下面是一些常用的 交互 互 互式 式 式环 环 环境 境 境 在命令行中输入 idris 来启动交互式环境。你会看到如下内容： $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 1.3.1 _/ // /_/ / / / (__ ) http://www.idris-lang.org/ /___/\__,_/_/ /_/____/