In general, in favor of as many correctness and other checks at compile time as possible. Make tools as powerful as possible. I really liked this tweet:
"What if...
- your programming language required you to write useful docs,
- using those docs, it checked your program for mistakes,
"What if...
- your programming language required you to write useful docs,
- using those docs, it checked your program for mistakes,
- it even used the docs to speed up your program,
- this feature already exists!
And what if it was called static typing."
- https://twitter.com/DWvanGeest/status/1092095822559358976