这个问题听起来微不足道,但我真的找不到任何可以帮助我解决问题的方法。这是一个在 Haskell 上重现它的简单示例:
import Numeric.LinearAlgebra.HMatrix
madd :: Double -> Vector Double -> Vector Double
madd a v = a + v
当我加载它时它会抱怨
Couldn't match expected type ‘Double’
with actual type ‘Vector Double’
它认为 v 是 Double 而它应该是 Vector Double,我怎样才能在模式匹配中强制它是这样的?
请:我需要匹配参数,而不仅仅是分配给 lambda 函数。