[pansa2]

Exactly. IMO we still don't have a good #3 language - in particular, all of the popular languages that can be compiled into native code are in category #1.

[Akronymus]

I'd say that f# haskell ocaml and such labguages fall under #3.

[habitue]

I'd say rust and swift are in the #3 category. Really, C++ is pretty damn high level, just not a sound type system. But it's static