@littlecalculist it looks like Rust had dependent types at one point and dropped them? Any chance they'll make a comeback?
@littlecalculist I've been looking at Microsoft's F* lately and wondering if the Rust type system could do something similar
-
-
@bascule It's cool work but integrating advanced specification/proof not a focus for us; still very active research, we're more conservative -
@littlecalculist seems good bro
End of conversation
New conversation -
-
-
@bascule@littlecalculist why do you want dependent types in Rust? Have you looked at things like Idris instead? http://www.idris-lang.org/ -
@puffnfresh@littlecalculist I have been pointed at Idris many times, possibly by you ;) Maybe I should give it a more thorough look
End of conversation
New conversation -
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.