tfw you wish you could control mutual recursion in Rust like you do in SML/OCaml/Coq/Agda. 😞
Conversation
new crate for every definition, yes this is fine
1
1
Are you trying to enforce no mutual recursion using crate boundaries? Something else?
1
Replying to
Hah yup but this was a joke. Please don't do this.
I have been splitting up my languages internally to enforce this architecture, but depending on where the language will eventually sit in the ecosystem it seems like a big burden to put on the ecosystem (especially if everyone does it).
1
Show replies