Re:Migrating 300k LOC from Flow to TypeScript
by chillacy on Thursday June 20, 2019 @09:46AM
(#20232858)
Is this a joke? If your real world data doesn’t have a fixed schema representable in a type system how do you machine parse it?
[ Parent
| on HN ]
Re:Migrating 300k LOC from Flow to TypeScript
by fulafel on Thursday June 20, 2019 @02:00PM
(#20235461)
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.