Type systems are not a silver bullet, Kotlin's is particularly mediocre and only seems to create more boilerplate, meanwhile Rust's is overly complex and a major barrier to entry