Want to try some industrial-strength linearly typed code? Test drive the new Firefox CSS engine.https://twitter.com/ManishEarth/status/889544444986269697 …
-
-
Replying to @asajeffrey
Isn't Rust an affine type system not a linear one?
2 replies 0 retweets 0 likes -
Replying to @Gankra_ @asajeffrey
I figured that was assumed when we started throwing substructural type systems around
2:21 PM - 24 Jul 2017
from Ottawa - Gatineau
0 replies
0 retweets
1 like
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.