@littlecalculist oops, I might be mistaken. How about dependent types in Rust... any thoughts?
-
-
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 yet another reason why I'm interested in Rust... I think it might actually have legs ;)2 replies 0 retweets 2 likes -
Replying to @littlecalculist
@littlecalculist I hope for a future where the type system can worry about security so I don't have to ;)2 replies 0 retweets 0 likes -
Replying to @bascule
@bascule BTW are you coming to next week's meetup? http://www.meetup.com/Rust-Bay-Area/events/143439552/ …1 reply 0 retweets 0 likes
@littlecalculist just saw you tweet the link. I'm down
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.