@littlecalculist it looks like Rust had dependent types at one point and dropped them? Any chance they'll make a comeback?
@littlecalculist oops, I might be mistaken. How about dependent types in Rust... any thoughts?
-
-
@bascule That can mean many things. What do you mean by dependent types? -
@littlecalculist I've been looking at Microsoft's F* lately and wondering if the Rust type system could do something similar -
@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.