在哈斯克尔中等于(=)Vs左箭头(< - )符号

工作代码：

import System
main = do
     [file1, file2] <- getArgs
     --copy file contents
     str <- readFile file1
     writeFile file2 str

崩溃代码：

import System
main = do
       [file1, file2] = getArgs
       str = readFile file1
       writeFile file2 str

当我尝试,它抛出一个错误：

a.hs:6:18: parse error on input ‘=’

那么<- from =

要了解真正的区别,你必须了解僧侣在他们的答案中描述的monads,以及亵渎的描述.

对于IO monad的具体情况,与您的getArgs示例一样,粗略但有用的直觉可以如下进行：

> x<- 操作运行IO操作,获取其结果,并将其绑定到x

> let x = action定义x等于action,但不运行任何东西.稍后,您可以使用y<- x表示y - - 动作.

来自允许关闭的命令式语言的 程序员 可能会用Javascript进行粗略的并行比较：

var action = function() { print(3); return 5; }

// roughly equivalent to x <- action
print('test 1')
var x = action()  // output:3
// x is 5

// roughly equivalent to let y = action
print('test 2')
var y = action    // output: nothing
// y is a function

// roughly equivalent to z <- y
print('test 3')
var z = y()       // output:3
// z is 5

再次：这个比较只关注于IO.对于其他monads,您需要检查>> =实际上是什么,并考虑对do的否定.