[Haskell-cafe] Re: Aim Of Haskell
jo at durchholz.org
Fri Dec 15 14:33:32 EST 2006
Steve Downey schrieb:
> The STL, however, brings a very applicative programming model into an
> otherwise imperative language. And, it turns out that the template
> language is a turing complete pure functional language, making
> possible some very interesting type based metaprogramming.
AFAIK there's some limitation built into the template language (nesting
depth or something) that makes the template language Turing-incomplete.
More information about the Haskell-Cafe