4 ms·

In real life projects, you end up doing type checking at runtime, meaning you also need a test for the code path

• cies 5y ago
  Exactly! More developer discipline required. What ever can be checked by the compiler, as part of the language, is automatic free productivity to me.
  • jeofken 5y ago
    The counter argument is that in clojure you can do (merge {:a 1} {:b “yo”}) without defining new types.