[Haskell-cafe] Imagining a G-machine

[Stefan O'Rear]

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