Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a facility for user- (and library writer-) defined code rewriting #438

Open
pschachte opened this issue Jan 6, 2024 · 0 comments
Open

Add a facility for user- (and library writer-) defined code rewriting #438

pschachte opened this issue Jan 6, 2024 · 0 comments
Labels
enhancement New feature or request performance Issues related to performance of generated code research project

Comments

@pschachte
Copy link
Owner

The point of this is to allow users to specify equivalence-preserving code transformations that will improve efficiency. One example:

?t = a ,, b
print(t)

should be optimised to

print(a)
print(b)

Other examples would include deforestation and related higher-order code optimisations.
@pschachte pschachte added enhancement New feature or request research project performance Issues related to performance of generated code labels Jan 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request performance Issues related to performance of generated code research project
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pschachte