I think there are hacks you could do, to experiment with this in ra but yeah, you are right. But you are right that there is a barrier to getting them into Rust itself. :(
Conversation
Maybe pointing to how people use `()` and `_` in types already, and `todo!()` could help, but I dunno. I think maklad would say something like ‘let's just use those’, but it ends up being disjointed and not-so-nice compared to a more integrated solution like in Agda.
1
2
Granted Rust's types are much weaker right now re. effects, so you'd end up getting less value out of them, but I still am pretty sure you'd get a decent amount of value out of them (potentially more so with the context/effect stuff on the horizon).
1
1
Merlin does this, and it’s… ok
1
Oh really? I had no idea? How do I use it? Is it documented anywhere?
1
It's like not documented _at all_, you use ??
2
__ also works!
(man these are confusing tweets)
1
4
what do you use? ?? ?
1
1
Yeah, you use either "??" or "__" haha
2
3