GIF
3
20
155
Conversation
Nice! I do still wish we had holes in Rust… would be super nice for the match arms/patterns ; _ ;
This Tweet is from a suspended account. Learn more
Yeah, that's what I do - feels a bit hacky though, and can't really put them in patterns. Also can't use them interactively for case splitting etc. like in Agda, Idris, Haskell, etc.
1
1
Show replies