その質問は些細なことのように聞こえますが、それに対処する方法について私を助けるものは何も見つかりません. これを 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 である必要があります。パターン マッチで強制的にそうするにはどうすればよいですか?
してください:ラムダ関数に割り当てるだけでなく、引数を一致させる必要があります。