One reason is probably, that it's a small language with a fully specified semantics. Also, despite its age, it is still a modern language. It's had features lik

One reason is probably, that it's a small language with a fully specified semantics. Also, despite its age, it is still a modern language. It's had features like lambdas, type inference, algebraic data types, generics, modules, etc. for decades.