The "type wars" are actually about deontology vs teleology. The dynamic side is interested in verifying the results of software executing (effective, situated programs), whereas the static side cares more about the correctness of the *intent* as can be determined at compile time.https://twitter.com/jendziura/status/1068167395557154816 …
-
-
That is better. I was echoing the quoted tweet's language but I wasn't entirely comfortable using the word "intent", because to me that implies final cause which is teleological.
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.