I just spent some time implementing a lazy VM: Note also the push/enter VS eval/apply implementation change in GHC described in [1]. [1] https://www.microsoft.

I just spent some time implementing a lazy VM: Note also the push/enter VS eval/apply implementation change in GHC described in [1]. [1] https://www.microsoft.com/en-us/research/publication/make-fast-curry-pushenter-vs-evalapply/ https://www.microsoft.com/en-us/research/publication/make-fa...