adrian-thurston / colm

The Colm Programming Language
MIT License
166 stars 32 forks source link

[colm] might be able to make idempotent for loops automatic by checking if the root was copied #93

Open adrian-thurston opened 4 years ago

adrian-thurston commented 4 years ago

Before an idempotent transformation we could take a copy of the root, then (shallow) compare the copy against the result. Need further investigation into possible reasons why it would not work.