mil*_*edi 1 haskell ghci applicative
在我输入的GHCi中pure 2返回2; 或pure "aa"返回"aa".我想知道这个应用实例是如何解决2或GHCi的"aa".
GHCi表现出一些神奇的用户友好性.
当进入其类型为如下形式的表达... => f a,它尝试实例f来IO.在你的情况下,这是可能的,因为IO是一个applicative(和monad).
其次,当输入具有表单类型的表达式时... => IO a,它将作为IO操作运行.
最后,如果a是类Show,则打印结果.在你的情况下"aa"是结果(和类型a是String),所以GHCi打印出来.
| 归档时间： |
|
| 查看次数： |
69 次 |
| 最近记录： |