let rec dotproduct =  a::r, b::s -> (a *. b) +. (dot_product r s).. or a::r, b::s -> loop (a *. b) r s