Lambda MicroEgg, 바인더를 기본 지원하는 e-graph 등장
Philip Zucker가 e-graph 도구 Lambda MicroEgg를 공개했다. 기존 microegg에 바인더, 고차 Miller 패턴, 캡처 회피 치환을 추가했다. 알파 동등 항은 해시 콘스되어 같은 e-class로 표현되고, thinning 관련 항끼리 메모리를 공유한다. AC 포화 벤치마크에서 egg보다 느리지만 큰 차이는 아니다.
I debated to myself about whether to suppress `ctx0 |->` annotations. I ended up doing so because they are noisy, but it was an important conceptual realization to me that `ctx0 |->` is conceptually prior to “context-less” terms / “context-less” terms are not a thing, merely a shorthand for `ctx0`.