[solomatov]

It doesn't have generics because they are "too complex". It also ignores all progress of the last 20 years in programming languages research.

Rust is much better language in this respect. It has beautiful type system.