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.