Bug 11092 – @commutative annotation for commutative functions

The title should be self-expressive, for heavily constrained functions, it would be nice to just be able to tag them as commutative rather than spam the identical function prototype with a redirect to original.

(In reply to comment #0) > The title should be self-expressive, This is an enhancement request, so the title is never self-expressive: - What are some use cases? - What are the limits? - Do you mean just functions with two arguments? - What if one, the other or both arguments have a default value? - What about testing. QuickCheck-like tools for D would enjoy to know what functions are annotated with such @commutative, to test at run-time they are actually commutative. For this std.traits.functionAttributes will need to take into account @commutative functions too. More notes: - std.functional.memoize could detect a @commutative function and sometimes reduce the memory usage of its associative array.

Please see https://github.com/dlang/DIPs#procedure for instructions on how to propose a change in the language. Bugzilla is not the correct avenue for that.