RosettaCodeData/Task/Dot-product/Idris/dot-product.idris
2016-12-05 23:44:36 +01:00

9 lines
174 B
Text

module Main
import Data.Vect
dotProduct : (Num a) => Vect n a -> Vect n a -> a
dotProduct = (sum .) . zipWith (*)
main : IO ()
main = printLn $ dotProduct [1,2,3] [1,2,3]