[Haskell-cafe] CPU with Haskell support

[Henning Thielemann]

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.