object-oriented, structured, imperative
static system, structural typing, strong typing, full inference
Java, C#, C++, C, D, Boo
vala, vapi