Haskell 为什么'；数据的应用实例。向量对角化其结果？
所以我想在几个大小相等的向量上建立一个函数。嗯，Haskell 为什么'；数据的应用实例。向量对角化其结果？,haskell,Haskell,所以我想在几个大小相等的向量上建立一个函数。嗯，Applicative λ➔ let f x y z = x * y + z λ➔ λ➔ let va = V.fromList [10, 20, 30] λ➔ let vb = V.fromList [2, 5, 3] λ➔ let vc = V.fromList [1, 2, 3] λ➔ λ➔ f <$> va <*> vb <*> vc fromList [21,22,23,51,52,53,31,32,3
Applicativeλ➔ let f x y z = x * y + z
λ➔
λ➔ let va = V.fromList [10, 20, 30]
λ➔ let vb = V.fromList [2, 5, 3]
λ➔ let vc = V.fromList [1, 2, 3]
λ➔
λ➔ f <$> va <*> vb <*> vc
fromList [21,22,23,51,52,53,31,32,33,41,42,43,101,102,103,61,62,63,61,62,63,151,152,153,91,92,93]
（）[11,22,33]instance Applicative Vector where
pure = repeat
fs <*> xs = zipWith ($) fs xs
实例应用程序向量，其中
纯=重复
fs xs=zipWith（$）fs xs
应用程序*编辑：更正之前的
pure=singleApplicativepure在zippy应用程序流行之前，您可以用我们以前的方式实现您想要的。有一些函数专门用于指定要压缩在一起的参数的数量，以及通常的名称。这不仅仅是疏忽。为了使
Applicativepure在zippy应用程序流行之前，您可以用我们以前的方式实现您想要的。有一些函数专门针对要压缩在一起的参数的数量，使用通常的名称。我只使用
Vector.zipWithVectorFunctorApplicativeMonadData.Vector.VectorFunctorData.Vector.unbox.VectorfmapData.Vector.unbox.map函子Unbox不幸的是，这只是一个长期未解决的Haskell问题的例子（当类型需要对类型参数进行约束时，无法生成
*->*Vector.zipWithVectorFunctorApplicativeMonadData.Vector.VectorFunctorData.Vector.unbox.VectorfmapData.Vector.unbox.map函子Unbox*->*这将很容易满足您的需求，您可以根据自己的意愿对其进行定制和优化。这不是一个合法的应用实例
\x->pure id xidZipList流纯Vector.zipWithApplicativeinstance Applicative Vector where
pure = repeat
fs <*> xs = zipWith ($) fs xs