So I hoped to get that erlang/idris stuff done today. Nope. Will finish it off tomorrow, it threw up some weird type errors… :/
@robstewartUK @Lenary I'm looking forward to getting there but I'm not especially happy with the protocol story yet. Next year, perhaps.
-
-
@edwinbrady@Lenary not happy with the language design, or not happy with the implementation? -
@robstewartUK@Lenary it's too complicated, mostly. Trying to shoehorn it into the effects library was probably a mistake. - 1 more reply
New conversation -
-
-
@edwinbrady@Lenary how about clever use of the Node arg to the Erlang 'spawn' primitive to co-locate communitive protocol participants?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.