imperative, object-oriented, generic
static system, non-structural typing, partial inference
C
ec, eh