By extension of that logic, all dynamic languages are as strict as static typed, since it will crash on first abuse. The benefit is in capturing things in type

By extension of that logic, all dynamic languages are as strict as static typed, since it will crash on first abuse. The benefit is in capturing things in type system so you can see what’s going on and you can’t ignore it. Runtime vs compile time debugging. Did I get you right?