" The combination of preemptive multitasking and shared state generally leads to unmanageable complexity," https://blog.mozilla.org/services/2014/03/12/sane-concurrency-with-go/ …
@reiddraper @steveklabnik indeed! Now if only we could leverage that fact safely ;)
-
-
@bascule@steveklabnik yes, i have high hopes for linear/uniqueness typing -
@reiddraper@bascule@steveklabnik yes, substructural logics +1 -
@cmeik@reiddraper@bascule@steveklabnik Region inference and program analysis is also +1 guys!
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.