Wisp is an addictive /idea/, even if the net benefit ends up not being terribly strong. But combined with some other changes in assumptions, there might be some interesting insights. I've tinkered with this idea for a bit. https://gist.github.com/armstnp/bb2a88bcb053d2195f42c60a0cf1...
Heading this direction, things almost start to smell point-free. Functions begin to be designed to take elements likely to be recursive as their last argument. And a placeholder ('⎵') could be used to select the recursive slot otherwise.
Heading this direction, things almost start to smell point-free. Functions begin to be designed to take elements likely to be recursive as their last argument. And a placeholder ('⎵') could be used to select the recursive slot otherwise.