[Haskell-cafe] Re: Aim Of Haskell

Joachim Durchholz 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 mailing list