@littlecalculist it looks like Rust had dependent types at one point and dropped them? Any chance they'll make a comeback?
-
-
Replying to @littlecalculist
@littlecalculist oops, I might be mistaken. How about dependent types in Rust... any thoughts?1 reply 0 retweets 0 likes -
Replying to @littlecalculist
@littlecalculist I've been looking at Microsoft's F* lately and wondering if the Rust type system could do something similar2 replies 0 retweets 0 likes -
Replying to @bascule
@bascule@littlecalculist why do you want dependent types in Rust? Have you looked at things like Idris instead? http://www.idris-lang.org/1 reply 0 retweets 0 likes
Replying to @puffnfresh
@puffnfresh @littlecalculist I have been pointed at Idris many times, possibly by you ;) Maybe I should give it a more thorough look
1:39 PM - 13 Nov 2013
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.