So you prefer runtime crashes to compiler diagnostics, just so the type system can be "simpler"? I find these priorities backwards.

> So you prefer runtime crashes

Do you not understand what static analysis is?