I agree. Computation on the type level does not imply computation on the value level.
On 8/18/07, Tim Chevalier <[EMAIL PROTECTED]> wrote: > > On 8/17/07, Kim-Ee Yeoh <[EMAIL PROTECTED]> wrote: > > Incidentally, GHC's type checker is Turing complete. You > > already have as much static evaluation as is practically possible. > > You already knew that. > > > > I don't see how the first statement implies the second. > > Cheers, > Tim > > -- > Tim Chevalier * catamorphism.org * Often in error, never in doubt > "It's never too early to start drilling holes in your car." -- Tom > Magliozzi > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe