I think that the key bit is having it be type directed, so that they can have an explicit concrete representation of the stack as a datastructure that the jvm c

I think that the key bit is having it be type directed, so that they can have an explicit concrete representation of the stack as a datastructure that the jvm can optimize, but thats just me speculating