where 子句中的 IO

Question

我以为我开始了解 Haskell 中的 IO，直到遇到以下问题。

我有以下函数，它返回类型 IO Float：

getFundPrice :: Int ->  Int -> IO Float
getFundPrice fund date = do 
                       priceList <- getFundPrice' fund date
                       let h = head priceList
                       return  h

函数 getFundPrice' 使用 takusen 数据库并返回一个 IO [Float] 类型的列表。

我能够使用 Hunit 成功测试 getFundPrice 函数，使用以下方法：

  p <- getFundPrice 120 20100303
  assertEqual
    "get fund price"
    10.286 
    (p)

困扰我的问题是以下函数定义：

lastPos :: Int -> (Shares,Float) -> Period -> Fund -> (Shares,Float)
lastPos endDate begPos [] fund  = (fst begPos, trnPrice) 
                               where trnPrice = do
                                             price <- getFundPrice fund endDate
                                             return price                                                                        

我在尝试编译时遇到的错误是“无法匹配预期的类型Float' against inferred typeIO Float'”

我认为 *price 操作会像处理我的 HUnit 代码一样为我检索价格。

在 where 子句中使用 this 有什么不同？

Answer 1

如果您删除显式类型签名，您将看到正确的类型：

lastPos :: Int -> (Shares,Float) -> Period -> Fund -> (Shares,IO Float)

注意最后的IO Float。您已将 trnPrice 定义为检索浮点值的 IO 操作。您没有执行该操作来检索值！除了lastPos 不在的 IO monad 之外，您无法从任何地方执行该操作。您可以做的是：

lastPos :: Int -> (Shares,Float) -> Period -> Fund -> IO (Shares, Float)
lastPos endDate begPos [] fund  = do
    price <- getFundPrice fund endDate
    return (fst begPos, price)

这会将所有 lastPos 提升到 IO 中。

Answer 2

IO monad 的特点是你永远无法摆脱不纯的污点。因为你的 getFundPrice 函数不是纯函数，所以调用它的也不是纯函数。

你的函数必须有类型

lastPos :: Int -> (Shares,Float) -> Period -> Fund -> IO (Shares,Float)

如果有助于澄清问题，则在您的 where 子句中，return 语句将纯价格值包装在 IO 中。没有办法¹避免这样做 - IO monad 被设计为不允许这样做。

其实和where trnPrice = getFundPrice fund endDate一模一样

¹其实有一个backdoor，但是用它不是个好主意