Turing didn't have a typechecker that ran programs, so his machines didn't work at all.
@pigworker I didn't think you'd argue with that... but I have been wondering how to explain it properly, and it seems about time we did.
-
-
@edwinbrady I think you're in a great place to show the distinction between the closed runtime semantics and its timid open approximant. -
@pigworker We are (by which I mean@id1660 is) finding out interesting things on these lines. We should find a time to plot lightning more. - 1 more reply
New conversation -
-
-
@edwinbrady@pigworker the Haskell-doesn’t-have-IO think might be useful to look at to see what the crucial misunderstandingThanks. 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.