The ability to assert the most about what the code cand and cannot do, trumps both, which is why the use of strongly typed (check, even dependently typed) funct

The ability to assert the most about what the code cand and cannot do, trumps both, which is why the use of strongly typed (check, even dependently typed) functional languages should be more widespread.