@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 @littlecalculist
@littlecalculist Microsoft released F* as a dependently typed F# and TS* as a dependently typed TypeScript1 reply 1 retweet 1 like
Replying to @littlecalculist
@littlecalculist indeed
1:47 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.