@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@mraleph can't seem to *encode*, I meant to write -
@nikomatsakis still, I am one of the reasonable people that differ. determinism is a hugely valuable property for developers.
End of conversation
New conversation -
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.