Re: [Haskell-cafe] Imagining a G-machine

2007-05-17 Thread Andrew Coppin
Hmm. I think you're going to have problems with thermodynamics here. While it is possible to perform computations using chemical reactions, an *energy source* is required to drive the process. The word "nutrients" implies a substance containing chemical energy, but in that case no garbage-colle

RE: [Haskell-cafe] Imagining a G-machine

2007-05-17 Thread Bayley, Alistair
> From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of John Meacham > > > > 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

RE: [Haskell-cafe] Imagining a G-machine

2007-05-17 Thread Simon Peyton-Jones
| > 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 :) Oh! A cruel jibe! Simon

Re: [Haskell-cafe] Imagining a G-machine

2007-05-16 Thread Derek Elkins
Albert Y. C. Lai wrote: A native G-machine --- physical, or chemical, or biological, but not a repressed simulation over the imperative cpu-memory architecture --- is the dream of every lazy-functional programmer of great devotion. If only it became the dominant computing architecture! People w

Re: [Haskell-cafe] Imagining a G-machine

2007-05-16 Thread Neil Mitchell
Hi It is worded as biotech but may as well be molecular computing or nanotech. biotech machines tend to be inaccurate, but highly parallel. Unfortunately the G machine is very un-parallel and requires 100% precision. Things like speculative evaluation may be more interesting. To add garbage

Re: [Haskell-cafe] Imagining a G-machine

2007-05-16 Thread 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 syste

Re: [Haskell-cafe] Imagining a G-machine

2007-05-16 Thread 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 t

Re: [Haskell-cafe] Imagining a G-machine

2007-05-16 Thread John Meacham
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,

[Haskell-cafe] Imagining a G-machine

2007-05-16 Thread Albert Y. C. Lai
A native G-machine --- physical, or chemical, or biological, but not a repressed simulation over the imperative cpu-memory architecture --- is the dream of every lazy-functional programmer of great devotion. If only it became the dominant computing architecture! People would say, Haskell is hig