
30 Nov
2008
30 Nov
'08
4:11 p.m.
On Sun, Nov 30, 2008 at 2:07 PM, Martijn van Steenbergen
Larry Evans wrote:
The haskell code:
cross::[[a]]->[[a]]
calculate a cross product of values.
Now if you allow the elements of that function's argument list to be possibly infinite lists and you still want to eventually yield every possible cross product, you get a very nice problem...
Solved by control-monad-omega (not really a monad). The other nice one problem is allowing the argument itself to be infinite (you have to require all of the lists to be nonempty). Luke