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
Hah yup but this was a joke. Please don't do this.
1
1
Haha ok! I was thinking, wow, that sounds nightmarish.
1
1
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
Not entirely sure what you mean... you've got multiple intermediate languages and each is in a separate crate as a potential target for someone? Seems like a tough challenge design-wise.
1
Replying to
Eg. github.com/brendanzab/rus
For a language like Pikelet I guess it's ok, but the binary data description language I'm building at work is meant to be part of other Rust libs, and folks aren't probably going to want to deal with the individual crates themselves.