@bascule It wasn't dependent types; I think you're talking about refinement types. Very unlikely to come back.
@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 -
-
-
@bascule@littlecalculist really they didn't implement reference passing@to persistent data structures.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule Refinement types *look* super exciting, but I've found they're very hard to make work in practice.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.