The type system is a programmer's best friend
Articles like this bug me. You've given me a list of why types are awesome. Great. Now, tell me what the tradeoff is. Nothing is free in engineering. To get something, you have to give up something else. Even grug[0] understands this.[0]: https://grugbrain.dev/#grug-on-type-systems