Saying "I prefer purity to fighting with the borrow checker" doesn't make sense. Pure code is guaranteed to pass the borrow check!
-
-
Replying to @awesomeintheory
@pcwalton And pure code is in no way guaranteed to pass the borrow checker. Try returning a reference to something on the stack.1 reply 0 retweets 0 likes -
Replying to @awesomeintheory
@awesomeintheory That's not the borrow checker—that's the lifetime system.1 reply 0 retweets 0 likes -
Replying to @awesomeintheory
@pcwalton Do you mean that there are two passes in the compiler? Because it seems like neither does anything useful without the other.2 replies 0 retweets 0 likes
Replying to @awesomeintheory
@awesomeintheory The thing that the borrow checker does is forbid simultaneous mutability + aliasing. No mutability=no need for borrow check
1:44 PM - 17 Aug 2015
0 replies
0 retweets
0 likes
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.