Experiment with closure of objects - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

7 stars 2 forks source link

Experiment with closure of objects #421

Open fizruk opened 3 weeks ago

fizruk commented 3 weeks ago

This is an experiment to see if we can speed up computation and improve the final object representation:

[ ] Introduce closure for objects.
[ ] Implement (standard) rules via closures.
[ ] Improve conversion from closures to attach (and reuse) $\rho$-attributes to temporary objects in the global formation

PR-Codex overview

The focus of this PR is to introduce delayed substitutions in the Language.EO.Phi.Rules.Delayed module.

Detailed summary

Added Language.EO.Phi.Rules.Delayed module
Updated functions to use delayed substitutions
Modified imports to reflect the changes
Implemented delayedYegorInsideOut function
Added objectDispatchClosure and applicationClosure functions

The following files were skipped due to too many changes: eo-phi-normalizer/src/Language/EO/Phi/Rules/Delayed.hs

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}