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 …
-
-
@dibblego Thnks for correcting me II time.I wasnt aware of dat crrspndnc.. wud go thru it, does dat mean Algorithm, used logic in dat sense.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.