Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more

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. :(

Brendan Zabarauskas

@brendanzab

Feb 10

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.

Brendan Zabarauskas

@brendanzab

Feb 10

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).