I introduced recursion in class yesterday, and students were very intrigued by mutual recursion- when it's practically used and how you can recognize the need for it. So, when have you all used it in prod codebases?
36
7
85
Conversation
Replying to
Implementing dependent type systems! This requires some mutually recursive functions for implementing the interpreter and the elaborator.