On 2011-04-11 5:45 AM, Michal Suchanek wrote
 >
 > This is incredibly cool but can you really translate any language into
 > machine code?
 > What about languages that are completely different from machine code?
 > In Haskell, for example, everything happens lazily, data is immutable,
 > there is a complex type system. Can you really map this right to
 > machine code? (Or am I misunderstanding your question?)

Yes but some language features would depend on a run-time library.
The compiler-interpreter dichotomy is better thought of as a continuum.

Bill Rutiser