I'm heading for a Rust meetup. Maybe should have picked a different t-shirt.
read image description
ALT
13
10
113
Conversation
dependent types in rust when
1
4
Hopefully one day, but that’s not my department… I just want to learn more about it.
1
2
It has experimental support for linear types, but it needs more work. But you won't hear any Rust-bashing from me. It has lots to teach us.
1
2
Sorry, bit of a goofy joke. Seen the Unique and Borrowed types - super cool stuff! 👏 Big fan of Idris! Bought your book too!
1
1
Show replies
Linear dependent types for the masses is the beach I’m trying to make a sand castle on next half year. Need to mix some concrete brb.
1
1
Plz grab some for me on your way… and some rebar!
2
Show replies