insult as well as praise Best and documentation. Let me say Logic > type RT @dibblego: "Types Are Documentation … the best kind" — comment?
-
-
@dibblego I said for me, who has mostly used typed lang. and not abused the they are greater than documentation. Wl stand blw logic though. -
@koolak82 Using types is using logic. They are one and the same. http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence … - Show replies
New conversation -
-
-
@dibblego Thanks buddy!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.