Hacker News new | ask | show | jobs
by masklinn 1701 days ago
> I think the tilde then turns its left and right into "/"(1..10, 1..10), resulting in 1..10 1..10

That is the part which doesn’t make sense to me: `/ v` is `foldl1 () v`, how does that generalise to a cartesian product when applied to >1 sequences?

1 comments

Dyadic `x / y` is different to monadic `/ y`