Question

我目前正在努力学习Haskell。以下功能：

findPivot :: [[Double]] -> Int
findPivot matrixA =
    do
        let firstCol = (transpose(matrixA)!!0)
        let maxColValue = maximum firstCol
        let pivotIndex = elemIndex maxColValue firstCol
        return (fromJust(pivotIndex))

应该采用表示矩阵的二维2D列表，并确定哪一行在第一列中具有最大值。我知道有一些低效的部分，例如使用列表来表示矩阵并使用转置，但我遇到的问题涉及以下编译器错误：

Couldn't match expected type `Int' with actual type `m0 Int'
In the return type of a call of `return'
In a stmt of a 'do' block: return (fromJust (pivotIndex))
In the expression:
  do { let firstCol = (transpose (matrixA) !! 0);
       let maxColValue = maximum firstCol;
       let pivotIndex = elemIndex maxColValue firstCol;
       return (fromJust (pivotIndex)) }

我不确定m0的意思，但我认为这意味着monadic。所以，我认为这意味着该函数返回一个monadic int。任何帮助理解这个问题以及如何解决它都会非常感激。

感谢。

Answer 1

do和return与monad有关。当您使用它们时，您告诉编译器您打算使用monad。

您的函数类型是非monadic。这告诉编译器您不打算使用monad。编译器只是警告你这种差异。

您可以在let之外使用do，但sytax有点不同

findPivot matrixA = 
            let 
                firstCol = (transpose(matrixA)!!0)
                maxColValue = maximum firstCol
                pivotIndex = elemIndex maxColValue firstCol
            in fromJust(pivotIndex)

无法将预期类型“Int”与实际类型“m0 Int”匹配

1 个答案: