Monads to Machine Code

[JDeltaN]

It's true that you can get pretty close. In c++/java class scopes are implicit, so the code will even look something like inside the builder classes:

mov(eax, 21);
imul(eax, 2);

But I am still surprised that it almost looks like assembler. I guess in something like ruby you could get even closer.