Discussion of The broken promise of static typing — DEV

The more advanced the type system, the less bugs that we should have.