@Adám making the system detect whether a function is side-effect-less shouldn't be that hard, just a tedious amount of edge cases. I was more thinking "replace occurences of
+/,⍵
with cumulative sums or whatever" though, so
this wouldn't be that big of a difference. Extracting the
⍵[2;2]
shouldn't be impossible either.