Whitehead called geometry "the science of cross-classification". Which is to say: type systems are easy to create, what is hard is managing their complexity and deriving real understanding from them. The translation of that concept to programming I think is direct.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Laziness is a virtue
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.
Read my blog!