Get the latest tech news
Basics of Equality Saturation
01 - Basics of Equality Saturation# This tutorial is translated from egglog. In this tutorial, we will build an optimizer for a subset of linear algebra using egglog.
This is helpful for ease of use and also for compatibility when you are trying to create expressions that act like Python objects which perform upcasting. In this tutorial we will use the function form to define rewrites and rules, because then then we only have to write the variable names once as arguments and they are not leaked to the outer scope. This is in contrast to an evaluation model where rules are immediately applied and the matches are obtained on demand over a changing e-graph.
Or read this on Hacker News