The features described for the mark 5 G-machine in "Implementing Functional Languages: a tutorial" needs to be implemented. This means implementing an E compilation scheme which exploits the knowledge that a particular expression will be needed in WHNF to optimize the compiled bytecode.
As an aside, we also need to implement logical AND and OR.
The features described for the mark 5 G-machine in "Implementing Functional Languages: a tutorial" needs to be implemented. This means implementing an E compilation scheme which exploits the knowledge that a particular expression will be needed in WHNF to optimize the compiled bytecode.
As an aside, we also need to implement logical AND and OR.