[Haskell-cafe] CPU with Haskell support
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