Damn you know what I would kill for? A visual drawing of lifetimes. Like I have somewhat of an intuitive sense after all these years but I don't really get it and everyone keeps using words, give me diagrams damn it. "'a lives as long as" no stop draw it for me pls i beg of u
-
-
-
Replying to @grooveplex
that would be sick, but things like recursion, loops, and closures would really mess with that :(
1 reply 0 retweets 1 like -
Replying to @mgattozzi
I think the biggest problem would be a confusing UI. The lifetime information has to be stored *somewhere* in rustc.
1 reply 0 retweets 1 like -
Replying to @grooveplex
right but it's not there forever after a certain point it gets thrown out. not saying I don't want it, just the work to get it right is a lot
1 reply 0 retweets 1 like -
Replying to @mgattozzi @grooveplex
My hope is that Chalk will eventually be used for reasoning about lifetimes, at which time you could build arbitrary tools and visualizations on top of it.
1 reply 0 retweets 2 likes -
-
Replying to @grooveplex @mgattozzi
A Prolog interpreter, currently capable of reasoning about traits:https://github.com/rust-lang/chalk
1 reply 0 retweets 1 like
I have no reason to believe it's headed in that direction.
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.
