'Type structure is a syntactic discipline for enforcing levels of abstraction.' -- J. C. Reynolds
I see words like "discipline" and "enforce," and no words like "tool" or "build" or "enable."
-
-
I'm beginning to think that enthusiasm for explicit typing is due to most languages having so much unavoidable boilerplate which means an unavoidable large surface area of errors too tedious to guard against.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Think about it as safety tools and measures.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
You might enjoy this post “The advantages of static typing, simply stated” https://pchiusano.github.io/2016-09-15/static-vs-dynamic.html … which gives more of that angle.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.