tfw you wish you could control mutual recursion in Rust like you do in SML/OCaml/Coq/Agda. 😞
Conversation
How come?
1
1
Replying to
I’m always silly and end up confusing cycles in my modules and messing up my own intended design. Crates are a nice way to prevent that, but it’s heavy weight, and forces you to expose internal architectural decisions to the package ecosystem.
Replying to
Yeah crates are obviously too heavy for this purpose. I was just surprised because I don't think "I wish I could have prevented myself from accidentally calling this function mutually-recursively" is a problem I've ever (noticed & remember that I) had.
1
Yeah I'm more talking about mutual dependencies between types and functions in different modules. That can be harder to force yourself to be tidy with.
1
1
Show replies