list operation

Stream: Is there code for X?

[Kenny Lau]

Is there a function that sends the lists [a,b,c] and [d,e,f] to [a*d, a*e, a*f, b*d, b*e, b*f, c*d, c*e, c*f] given any binary operator *?

[Kenny Lau]

something like (L.product M).map (function.uncurry (*))

[Chris Hughes]

zip_with?

[Chris Hughes]

No that's different actually.

[David Wärn]

This is a job for control theory

def foo {α β γ} (f : α → β → γ) (as : list α) (bs : list β) : list γ := f <$> as <*> bs
#reduce foo (+) [0, 1, 2] [10, 20, 30] -- [10, 20, 30, 11, 21, 31, 12, 22, 32]

[Scott Morrison]

Surely something like do a <- L, b <- M, return a*b works, and requires understanding fewer hieroglyphics. (Not at a computer, didn't test.)

[Simon Hudon]

It does work too. It uses the monad structure on list where as @David Wärn's solution only requires an applicative functor

[Bhavik Mehta]

Should we port ApplicativeDo to lean :big_smile:

[Simon Hudon]

I wonder if we can implement that as a library