JVM and CLR are weird

no union of value + reference types

simple try/catch model for exceptions

managed code cannot inspect control stack

no support for block structure

JVM: no support for tail calls