On Thu, Sep 2, 2010 at 2:20 PM, Graham Allan <[email protected]>wrote:

> One thing that the page doesn't include (AFAICT) is a discussion of what
> you
> have referred to elsewhere on this mailing list as a 'Turing-complete type
> system'.
>

It's the kind of feature that enables hacks such as this
one<http://en.wikibooks.org/wiki/C%2B%2B_Programming/Templates/Template_Meta-Programming>.
If you don't feel like reading it, somebody managed to create C++ templates
which, when fed to the compiler, will produce error messages that list prime
numbers.

It's awesomely clever but why you would put this as a requirement to
choosing a language is beyond me. If you don't think that this makes a
language complex, you are probably hanging out with people who love Haskell
and who can tell you the difference between a catamorphism and an
anamorphism in their sleep.

-- 
Cédric

-- 
You received this message because you are subscribed to the Google Groups "The 
Java Posse" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/javaposse?hl=en.

Reply via email to