Suggestion: invertible reshape
Opened this issue · 2 comments
Would it make sense for °↯
to behave like △.
? It seems like it would be in line with °√
already behaving like ×.
.
(By the way, I'm loving the work on making more of the language invertible. Sometimes if I'm writing a function that needs to go both ways, like before/after serialization, more and more is automatically invertible so only one or two bits need to be wrapped in a setinv
. This suggestion stems from trying to remove as many setinv
s as I can from my code)
Perhaps. I wonder if △.
or ⊃△♭
would be more useful.
Good question. You know best which would make more sense. My main motivation was just to be able to write something like F ← Foo △.
with the expectation that °F
will "just work" if Foo
is invertible too. But ⊃△♭
might indeed be the more general inversion, so I'd vote for that.