I have been wondering, what prevents the development of an efficient virtual machine like JVM or PyPy for Haskell (except maybe development effort)? Is it the language structure? I think languages, that are harder to interpret efficiently (like Python, being very dynamic), already have decent VMs.

Also, if nothing is obstructing such an implementation, would STG be a good target "bytecode", since all optimizations are done on Core?

Are there any articles or blog posts that discuss this topic?

EDITs:

  • I am aware of HaLVM, but I don't think it is what I mean.
  • I am also aware of runhaskell, but it is not efficient at all.
haskell jvm vm-implementation
Edit
Report