
16 May
2007
16 May
'07
6:47 p.m.
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