Haskell IO单子示例_Haskell - Fatal编程技术网

Haskell IO单子示例

haskell

Haskell IO单子示例,haskell,Haskell,考虑以下IO代码： ghci> let x = return 100 :: IO Int ghci> :t do { a <- x; print a; return 500 } do { a <- x; print a; return 500 } :: Num b => IO b 在上述示例中，我的理解是： x具有类型IO Int print a具有类型IO（） return 500具有类型Num b=>IO b 在我看来，IO（）不符合类型，numb=>i

考虑以下

IO

代码：

ghci> let x = return 100 :: IO Int

ghci> :t do { a <- x; print a; return 500 }
do { a <- x; print a; return 500 } :: Num b => IO b

在上述示例中，我的理解是：

```
x
```
具有类型
```
IO Int
```
```
print a
```
具有类型
```
IO（）
```
```
return 500
```
具有类型
```
Num b=>IO b
```

在我看来，

IO（）

不符合类型，

numb=>iob

。另外，据我所知，

IO Int

不符合

Num b=>IO b

如果这个观察是有效的，那么为什么要编译这个代码呢？每一行，即

>=

，不得符合

MB

，其中

等于IO和

等于

Num b=>b

？

是否打印>>返回500

的签名是

（>>）：：Monad m=>ma->mb->mb

，它与所看到的内容同步。

do{a>=print>>返回500

的签名是

（>>）：：Monad m=>ma->mb->mb

，它与所看到的内容同步。

您将desugars发布到下面的代码

x >>= (\a ->
print a >>
return 500)

或者，扩展

（>>）

然后，您可以看到在对

（>>=）

的不同调用中，

和

的类型不一定相同

在第一个调用中：
```
x
```
具有type
```
IO Int
```
，
```
\a->print a>=（\\\u->return 500）
```
具有type
```
Num c=>Int->IO c
```
，因此我们的
```
（>=）
```
类型签名中的
```
a
```
是
```
Int
```
，而
```
b
```
是
```
c
```
（带有
```
Num
```
限制）
在第二个调用中：
```
print a
```
具有type
```
IO（）
```
，而
```
\\u500
```
具有type
```
Num c=>（）->IO c
```
（
```
（）
```
部分是通过尝试匹配
```
（>=）
```
）的签名推断出来的，因此
```
（>=）
```
的类型签名中的
```
a
```
是
```
（）
```
，而
```
b
```
是
```
c
```
（仍然有
```
Num
```
限制）

x >>= (\a ->
print a >>
return 500)

（>>）

（>>=）

在第一个调用中：
```
x
```
具有type
```
IO Int
```
，
```
\a->print a>=（\\\u->return 500）
```
具有type
```
Num c=>Int->IO c
```
，因此我们的
```
（>=）
```
类型签名中的
```
a
```
是
```
Int
```
，而
```
b
```
是
```
c
```
（带有
```
Num
```
限制）
在第二个调用中：
```
print a
```
具有type
```
IO（）
```
，而
```
\\u500
```
具有type
```
Num c=>（）->IO c
```
（
```
（）
```
部分是通过尝试匹配
```
（>=）
```
）的签名推断出来的，因此
```
（>=）
```
的类型签名中的
```
a
```
是
```
（）
```
，而
```
b
```
是
```
c
```
（仍然有
```
Num
```
限制）

IO（）

IO Int

do

>=

f=const 3.words.show

（Show a，Num b）=>a->b

words

String->[String]

IO（）

IO Int

do

>=

f=const 3.words.show

（显示a，Num b）=>a->b

单词

String->[String]

x       >>= (\a ->
print a >>= (\_ ->
return 500))