TopoLang: An Esolang Based on Topological Pattern Matching
12 hours ago
- #programming
- #experimental
- #topology
- TopoLang is an experimental programming language based on topological pattern matching in images.
- It uses rules where the left side is matched and replaced by the right side repeatedly.
- Topological matching requires patterns to be deformable into matches without tearing.
- The project explores what programs can be expressed well with this approach.
- Animations are programmed using sleeping regions, which wake up at the end of each tick.
- Solid regions are matched exactly without deformation.
- Placeholders in patterns allow for more generic rules.
- The Turing machine simulator utilizes all these features.