[Haskell-cafe] Is the Haskell list comprehension just a Cartesian product machine?

[Galaxy Being]

If I were a teacher of high-schoolers wanting to add some theory to Haskell
could I explain Haskell list comprehensions as basically just a
Cartesian/cross product machine? Would this be accurate? And then the
combinatorics product rule also seems at play here. I would appreciate any
theoretical explanation of what a list comprehension is about.

⨽
Lawrence Bottorff
Grand Marais, MN, USA
borgauf at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20211207/c8adb523/attachment.html>