✳flâneur — a map of the web's best reading

Exotic Programming Ideas, Part 2 (Term Rewriting)

stephendiehl.com · 3,137 words · saved by 1 readers

Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future

Exotic Programming Ideas, Part 2 (Term Rewriting) March 8, 2021 Reading Mode Wider fp Exotic Programming Ideas: Part 2 (Term Rewriting) Continuing on from our series last week, this time we’re going to discuss the topic of term rewriting. Term rewriting is a very general model of computation that consists of programmatic systems for describing transformations (called rules) which transform expressions called terms into other sets of terms. Week 1 - Module Systems Week 2 - Term Rewriting Week 3 - Effect Systems Week 4 - Datalog The most widely used rewriting engines often sit at the heart of pr

Explore this link on the map →

related reading