@nikomatsakis this burden is ALREADY there, in the optimizer/runtime. the difference is: not falling back to sequential but throwing error
-
@mraleph I can't seem to enforce any sort of useful thought into 140 characters, but I'll try to write up a post in a day or two :)
-
-
@nikomatsakis still, I am one of the reasonable people that differ. determinism is a hugely valuable property for developers.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.