On Wed, May 16, 2007 at 03:41:30PM -0700, John Meacham wrote: > I look forward to the day when the OS will notice that a binary was > compiled from haskell, and therefore is provably not buggy due to > haskells strong type system. So it happily turns off all > memory protection and lets it run on the bare hardware at full speed. :) > > This is not entirely unreasonable, operating systems with trusted > compilers and typed assembly languages are active areas of research.
But then GHC would be faster then JHC! (Nobody cares about jhc, certainly not enough to implement a recognizer for it...) Stefan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
