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” '针对推断类型IO Float'”

我认为 *price <- getFundPrice * 操作将为我检索价格，就像使用我的 HUnit 代码一样。

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

Answer 1

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

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

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

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 ¹ 完全相同，

实际上有一个 后门，但使用它不是一个好主意