Re: [boost] [MPL] new run-time algorithm: for_all

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.