[zachrose]

It would be cool if there was a webpage for “Is your function ______?” with a list of things that functions can be:

- Roundtrip-able (reversible?)

- Pure

- Effectful

- Mutation-doing

- Idempotent/Nullipotent

- Algebraically closed over the set of its inputs

- Et c.

Every time I hear about a new one I wish I had such a list

[phiresky]

> - Roundtrip-able (reversible?)

You mean injective

[kccqzy]

> Roundtrip-able (reversible?)

Involution, if you mean calling a function twice will give the original input.