
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⑈