My experience working inside a large codebase inspired the strong normalization feature in . I had difficulty understanding excessively indirect code even when using jump-to-definition and I wished that I could automatically inline and simplify code
Conversation
What would be cool is to have IDE support for pure functional languages that lets you click on a function and unfold it in place, with a way to fold it again when you don't need to look at it anymore. Or maybe a way to just display a readable version of the optimized Core?
1
6
24
Racket’s algebraic stepper, and theorem provers’ support for rewriting tactics both come to mind. There’s also wiki.haskell.org/Haskell_Equati, not sure why it hasn’t reached adoption.
3
1
11
