[Haskell-cafe] Imagining a G-machine

Stefan O'Rear stefanor at cox.net
Wed May 16 18:47:07 EDT 2007

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...)


More information about the Haskell-Cafe mailing list