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
lifetimes in idris when
2
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!
Also quite fond of TT - very nice way of formulating dependent types! 🤩
1