Hypothesis: our GC and memory management techniques will improve significantly with a better integration of linear logic with our tools.
-
-
Replying to @queertypes
Currently we have two extremes, neither fully satisfying. Offering the most control, and the most danger, we have languages like C.
2 replies 0 retweets 0 likes -
Replying to @queertypes
@cppcabrera Well languages like
@rustlang already use affine logic (my understanding at least) to gain safety in C like territories.1 reply 0 retweets 2 likes
Replying to @cocreature
@cocreature @cppcabrera yup, affine, not linear. There's been a proposal for linear types too, we'll see.
3:31 PM - 17 Jul 2015
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.