foreach on a tuple in CTF

[bc]

On Thu, 26 Apr 2007 09:20:58 +0100, Max Samukha <samukha at voliacable.com>  
wrote:

>>
>> Actually dmd having so many bugs in tuples and type inference makes me
>> wonder if Walter really knows the best way to implement these. I mean
>> many language docs just state that they use the Hindley-Milner algorithm
>> and everything just seems to work. I'm sure these are not easy to
>> implement, but I just had to ask this.
>
> I know absolutely nothing about how tuples and type inference can be
> implemented, so would you please ask this in D NG (Walter does not
> seem to give much attention to D.learn)? It would be interesting to
> know Walter's or other experts' answers.
>
> I won't post those bugs because many of them seem to be related.
> Hopefully, they will be fixed in the next release.

i'm curious about this. doesn't hindley-milner type inference require that  
you
implement a simple(ish) version of prolog?