"Phase Distinction is the strict division between types and terms" says Wikipedia. Well that's that settled then...
@raichoo I'm starting to write one :). But basically this: compile-time/run-time rather than type/value. No longer the same thing.
-
-
@edwinbrady didn't you write something back in 2005? I vaguely remember reading something /cc@raichoo -
@paulcc_two I'm glad someone read it ;). But it didn't really tell the phase distinction story directly...@raichoo - 1 more reply
New conversation -
-
This Tweet is unavailable.
-
-
@edwinbrady only two phases? How quaint!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.