`f:: a -> IO ()` 在执行线程中的评估：Haskell

Question

这是我之前问题（被我自己删除）的转贴，因为我认为通过下面的示例代码来改变焦点就足够了。

基本上，我尝试实现一个采用 function 的 Functor，例如id 、 \a -> a + 1甚至print 。

所以 function 类型可以是

f:: a -> b

f:: a -> IO ()

module Main where

import Control.Monad.Primitive (PrimMonad (PrimState))
import qualified Data.Vector.Mutable as M
import System.IO.Error (isDoesNotExistErrorType)

main :: IO ()
main = do
  let ioA = io (5 :: Int)
  let f = print
  --  f = \a -> a + 1
  let ioB = someFunctor f ioA

  ioB

  print "done"

data R a = R
  { val :: M.MVector (PrimState IO) a
  }

io :: a -> IO (R a)
io = \a -> do
  val <- M.new 1
  M.write val 0 a
  return $ R val

_val :: R a -> IO a
_val = \ra -> M.read (val ra) 0

someFunctor :: Show a => (a -> b) -> IO (R a) -> IO (R b)
someFunctor = \f -> \ioA -> do
  print "-- someFunctor"

  val <- ioA >>= _val
  print val --works    5
  let ioB = io $ f val

  --here, I want to actually `print val` when `f == print`
  return $ f val

  ioB

Output

"-- someFunctor"
5
"done"

当前的示例代码没有错误，我想要实现的是评估

f val

在哪里

1. f val是包装到新容器ioB中的值： io $ f val

2. 但是，由于 Haskell 的惰性评估策略或其他原因，当f == print时，实际上并未执行此操作，因此未按我的预期打印val 。

3. 到目前为止，我确实return $ f val ，但这与工作中的print val不同。

4. do thread 中的f val不是 go，因为f可以是id ，在这种情况下，它不是IO类型。 类型不匹配。 值得庆幸的是，编译器在这里巧妙地产生了一个错误。

5. 所以，我的问题是，当f == print f:: a -> IO ()时，实现要评估的f val的通用方法是什么？

Answer 1

如果你想做IO ，你必须承认你正在做IO 。

someFunctor :: Show a => (a -> IO b) -> IO (R a) -> IO (R b)
someFunctor = \f -> \ioA -> do
    {- ... -}
    b <- f val
    io b

您可以使用return将非IO函数提升为IO函数，如

someFunctor (return . id)