@edwinbrady I believe I said that structural types was/is useful for distributed systems :-) /cc @rit
-
-
-
@viktorklang yes, you were not the culprit ;)@rit - 5 more replies
New conversation -
-
-
@edwinbrady interested in seeing your tradeoffs, in dist sys there are always tradeoffs. i believe@PhilipWadler is also working on this -
@stevevinoski Indeed, we’re talking session types, there’s lots of work going on. Lots still to do though...@PhilipWadler
End of conversation
New conversation -
-
-
@edwinbrady just… just don't reinvent Corba.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady bring it on! Can't remember who said it first but my new catch phrase is "Remember, logic errors *are* type errors"#curryhowardThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady go session types go!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Just run in the ReallyReliable monad :-)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.