> Well yeah, but not every type system is equal. For example I vastly prefer Rust's type system to C's because of Options instead of null and enums as sum types

> Well yeah, but not every type system is equal. For example I vastly prefer Rust's type system to C's because of Options instead of null and enums as sum types. Fair enough. But I'm not advocating using C here either. > As for interpreted languages, IMO it's just better to be able to catch errors at compile time. There are type checked and interpreted languages.