[Haskell-cafe] Imagining a G-machine

[John Meacham]

On Wed, May 16, 2007 at 03:47:07PM -0700, Stefan O'Rear wrote:
> 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...)

Ah, but think of how much faster jhc development would be if it didn't
take ghc 20 minutes to compile it every time I made a change :)

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈