Experiment with closure of objects - Githubissues

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

https://www.objectionary.com/eo-phi-normalizer/

MIT License

7 stars 2 forks source link

Experiment with closure of objects #421

Open fizruk opened 3 months ago

fizruk commented 3 months 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}