3 ms·

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.

• habitue 5y ago
  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
• Akronymus 5y ago
  I'd say that f# haskell ocaml and such labguages fall under #3.