相关疑难解决方法(0)

任何人都可以给出一些指针,说明为什么Haskell中的不纯计算被建模为monad？

我的意思是monad只是一个有4个操作的界面,那么建模副作用的原因是什么呢？

我想知道在IO monad尚未发明的时代,Haskell中的I/O是如何完成的.任何人都知道一个例子

编辑:现代Haskell中没有IO M​​onad可以完成I/O吗？我更喜欢一个适用于现代GHC的例子.

在一些Haskell代码中,我遇到了:

put :: s -> m ()

这()意味着什么？

我使用搜索引擎,但找不到()正确处理的搜索引擎.

根据这篇关于haskell中指称语义的文章 所有类型都有底部,函数f:A-> B是严格的,如果它将类型A的底部映射到类型B的底部,那么它被称为非严格的其他类型.

(这让人联想到一个尖刻的类别,其中态射保留了基点).

为什么Haskell有非严格的函数,而标准ML没有？

所有monad文章经常陈述,monad允许你按顺序排列效果.

但是简单的构图怎么样？是不是

f x = x + 1
g x = x * 2

result = f g x

需要g x先计算f ...？

单子会做同样的事情,但处理效果？

我知道,我们不能独立实现IO monad,但我不知道为什么.此代码试图使用函数式语言实现命令式范例.你能解释一下这个例子和真正的IO之间的区别吗？看起来函数main实现了正确的动作顺序并且仍然是懒惰的.

import System.IO.Unsafe   

data Io a = Io a 

runIO :: Io a -> a
runIO (Io a) = a

instance Monad Io where  
 return x = Io x
 Io a >>= f = f a

-- internal side effect function 
output :: Show a => a -> Io () 
output s  = return $! unsafePerformIO $ print s

----------------------------------------------------------------

mainIO :: Io ()                             
mainIO = do output "A"  
            b <- return "B"
            output b     
            output b 
            x <- …