Hi Alexis,
The plan is to have YHC layered on top of the NXT firmware with some API wrappers for using the lego drivers. So for the VM I am trying to figure out where such an API would fit in with the existing framework and what files need to be involved...I was planning to write this interface in C originally but now I see that the source is in Haskell, so I'll have my hands full with that :) but first I'm just surveying the YHC stuff to see how it fits.
Yhi is all written in C, and you are unlikely to need to delve into the Haskell side of things. src/runtime/BCKernel should be where you spend most of your time.
Another option someone mentioned was to have GCC convert code to abstract C and then run that...does YHC do something similar using STG/abstract C??
Not really, GHC does, but its hardly abstract C. I'd definitely follow the bytecode route, or you're going to be doing a lot more work. Thanks Neil