`is pure` would be great to have! For possible auto-memoization of likely-to-be-slow subs it can be useful, but it also makes great documentation.It's going in there whether Larry likes it or not[1]. There are so incredibly many optimizations that you can do on pure functions, it's not even funny. Haha. Er...
How about the one that goes further and also implies that the function is strictly typed throughout;
is ML
He'd love that, for sure!
:)
Sam.