它“计算”虚设值codice_121。在编程者bind一个codice_122值到一个函数的时候，这个函数基于世界的场景（来自用户的输入、文件等）做出决定，接着产生反映新的世界状态（程序输出）的一个单子值。例如，Haskell有一些函数作用在宽广的文件系统之上，包括有检查一个文件存在的一个函数和删除一个文件的另一函数。二者的类型签名是：doesFileExist :: FilePath -> IO BoolremoveFile :: FilePath -> IO ()第一个函数关注一个给定文件是