Subject: Re: [boost] [MPL] new run-time algorithm: for_all
From: Larry Evans (cppljevans_at_[hidden])
Date: 2008-11-23 10:56:03
On 11/22/08 18:34, Larry Evans wrote:
> On 11/22/08 07:59, Joe Gottman wrote:
>> George van Venrooij wrote:
>>> Hello everyone,
>>>
>>> I recently created a MPL-based run-time algorithm named "for_all"
>>> which you can find at the following location:
>>>
>>> http://tinyurl.com/5a9d9d
[snip]
Judging from the "what is it?" on that tinyurl, it is the cross product
of the mplbook's exercise 7-8 mentioned in my previous post.
>
> Currently, I'm learning haskell, and they have a way, using a list
> monad, to do the same, AFAICT. See:
>
> http://www.muitovar.com/monad/moncow.xhtml#list
>
> There, the function is called cross.
>
[snip]
To get some idea of how haskell did it, I laboriously
went through a manual trace of the haskell code.
It's in the cross.log file of the cross.zip just
uploaded to the boost vault under the
Template Metaprogramming
directory.