关于 do 的使用疑问

Question

2. doGuessing num = do
3.   putStrLn "Enter your guess:"
4.   guess <- getLine
5.   case compare (read guess) num of
6.     LT -> do putStrLn "Too low!"
7.              doGuessing num
8.     GT -> do putStrLn "Too high!"
9.              doGuessing num
10.     EQ -> do putStrLn "You Win!"

复制代码
do 的作用是保证多个 action 顺序执行
以上代码中, case 表达式中的 EQ 分支 "->" 后的 do 可有可无
从这是否可以判断：当只有一个 action 时，do 不起作用 ?
就像 hello world 程序

2. main = putStrLn "Hello world!

复制代码

顺便问一下：return 函数是否为 action ?

Answer 1

real world haskell 中讲 monad 那章有 do 糖的原理。那章还有段如果不理解 do 的原理是无法解释的代码……

Answer 2

原帖由 izhier 于 2009-4-7 12:57 发表
除了
, do , 缩进

haskell 还有其他语法糖吗？

有，例如字符串。要想完整了解，可以看下 Haskell 98 Report

Answer 3

除了
[List], do , 缩进

haskell 还有其他语法糖吗？

Answer 4

原帖由 izhier 于 2009-4-7 12:53 发表
do 是语法糖吗？
不是太了解

do {e} => e
在给的例子中 do 后并没有大括号呀？
难道缩进就是大括号

对！
do 就是语法糖。
缩进也是语法糖。
大括号可以代替缩进。

Haskell 的布局既可以用大括号，也可以用缩进和对齐。

Answer 5

do 是语法糖吗？
不是太了解

do {e} => e
在给的例子中 do 后并没有大括号呀？
难道缩进转化为大括号

[ 本帖最后由 izhier 于 2009-4-7 12:54 编辑 ]

Answer 6

do 记法的翻译规则第一条就是：

do {e} => e

至于 return 的类型，
你 :t return 就可以看到：

Prelude> :t return
return :: (Monad m) => a -> m a
Prelude>