The fact that you can't run without passing the checks is an advantage to compile time checks in some particular (social) contexts, although a disadvantage in o

The fact that you can't run without passing the checks is an advantage to compile time checks in some particular (social) contexts, although a disadvantage in others.