haskell - 如何在haskell中调用函数并返回不同的值？ (无单子(monad))

Question

我在确定这是否可行时遇到问题。任何指针都会很棒

我不确定确切的语法，但类似于

m = 3
d = putStr "d"
f = d ; m

这样它会调用函数d，并返回m中的值，而不是也许m？

编辑:

我正在寻找的更像是这样？

eval s = s
m = 3
f = (eval s) ; m

Answer 1

如果您调用包装在 monad 中的函数(本例中为 IO)，那么您也必须位于 IO monad 中。这就是单子(monad)的规则——永远不能被打破。

m :: Int
m = 3

d :: IO ()
d = putStr "d"

f :: IO Int
f = do d -- Teehee, doodie.
       return m