> I'm not clear on why undermining compile time type safety is an feature. More safety usually requires a more complex type system. Such a type system is usual

> I'm not clear on why undermining compile time type safety is an feature. More safety usually requires a more complex type system. Such a type system is usually more expressive and can make more guarantees about your program, which is a pro. But of course, it is also more complex, which is a con.