|
|
|
|
|
|
by fulafel
2559 days ago
|
|
|
Check out Rich Hickey on this, eg in the 10 years of Clojure talk (or the transcript). Static typing requires you to express things in a way that is easily formally provable by the type system. It's much easier to write correct code (=working parer) than the correctness proof in a limited type system. This goes for higher order operations on schemas / types too, eg schemas are easier to make composeable than types. |
|
|