On 06/16/09 14:38, Larry Evans wrote: [snip]
FC++ can do this, if I'm correctly interpreting pages 16,19-20 of:
http://www-static.cc.gatech.edu/~yannis/fc++/fcpp-lambda.pdf
[snip]
For example, p. 19 uses (in haskell syntax):
The attached code (whose contents show the FC++ sourceforge project from which it was derived) produces: <--make run-- make -k run /home/evansl/prog_dev/boost-svn/ro/boost-trunk/sandbox/build/gcc4_4n/boost-trunk/sandbox/fc++/sourceforge/sandbox/monad_list_comprehension.exe ---------:41 1,3 1,4 2,3 2,4 ---------
--make run--
Unfortunately, while trying to figure how to convert this to have any number of input domains instead of just the two (the X and Y in | (X <= list_with(1,2)) , (Y <= list_with(3,4)) ) I ran into a roadblock of trying to understand what the code in lambda.h. The in in-source docs are sparse and the fcpp-lambda.pdf didn't explain the details either :( I may try to contact the authors or post something to the fcpp mailing list or try some more to decipher the code.