Exotic Programming Ideas, Part 2 (Term Rewriting)

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

related reading

• how I think when I think about programming - alice mazalicemaz.com
• Stephen Wolfram Writingswritings.stephenwolfram.com
• Differentiable Programming from Scratchthenumb.at
• Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
• Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
• What is PLUS times PLUS?youtube.com
• Semantic Domain: The Geometry of Interaction, as an OCaml programsemantic-domain.blogspot.com
• Expression Evaluation and Fundamental Physics-Stephen Wolfram Writingswritings.stephenwolfram.com
• Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
• Rambles around computer sciencehumprog.org
• JAX core from scratch — JAX documentationdocs.jax.dev
• Injecting Computation Everywhere–A SXSW Update-Stephen Wolfram Writingsblog.wolfram.com