Tree pattern matching
I managed to find a very effective decomposition of the pattern tree, which gives several useful properties for pattern matching. I finally finished the paper on this topic: https://zenodo.org/records/22972752 Here are the main highlights: The algorithm treats unresolved variables as connections between different parts of the tree. Using these connections, it identifies independent parts of the…
We haven't written up this one. Dev.to has the full story — the link below goes straight to it.