[Haskell-cafe] CPU with Haskell support

Henning Thielemann lemming at henning-thielemann.de
Tue Jan 19 23:03:06 UTC 2016

On Tue, 19 Jan 2016, Auke Booij wrote:

> This question is much more involved than you seem to be suggesting.
> It's not just about adding "some instructions for Haskell support".
> You have to think about how you want to express /every/ haskell term
> as a series of bits (preferably predictably many bits), and find a
> (finite) combination of logical gates to do arbitrary computations
> with them.

I am not thinking about a radically different machine language, just a 
common imperative machine language with some added instructions for tasks 
often found in machine code generated from Haskell. E.g. mainstream 
processors support C function calls with special jump instruction and 
stack handling. Maybe there could be instructions that assist handling 
thunks or Haskell function calls.

More information about the Haskell-Cafe mailing list