在 Idris 阅读和写作

【问题标题】：reading and writing at Idris在 Idris 阅读和写作
【发布时间】：2019-03-17 10:58:36
【问题描述】：

我正处于学习“伊德里斯”的第一步。我正在使用本教程：http://docs.idris-lang.org/en/latest/tutorial/starting.html

我创建了一个名为“hello.idr”的文件。文件内容为：

module Main

main : IO ()
main = putStrLn "Hello world"

我在 shell 提示符下输入了这一行：“idris hello.idr -o hello” 但意外发生了

【问题讨论】：

标签： idris

【解决方案1】：

与

module Main

main : IO () 
main = putStrLn "Hello world"

一切正常。

~$ idris hello.idr -o hello
~$ ./hello
Hello world

如果没有，我认为您的 idris 安装已损坏，并且根据您的操作系统，您需要按照不同的步骤来安装二进制安装。

对于 OS X，我只推荐brew install idris 或查看https://www.idris-lang.org/download/

【讨论】：