[Issue 11092] @commutative annotation for commutative functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=11092

Vladimir Panteleev  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||dlang-bugzilla@thecybershad
   ||ow.net
 Resolution|--- |INVALID

--- Comment #2 from Vladimir Panteleev  ---
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.

--

[Issue 11092] @commutative annotation for commutative functions

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=11092

Andrei Alexandrescu and...@erdani.com changed:

   What|Removed |Added

Version|unspecified |D2

--

[Issue 11092] @commutative annotation for commutative functions

[d-bugmail]

http://d.puremagic.com/issues/show_bug.cgi?id=11092


bearophile_h...@eml.cc changed:

   What|Removed |Added

 CC||bearophile_h...@eml.cc


--- Comment #1 from bearophile_h...@eml.cc 2013-09-22 04:22:47 PDT ---
(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.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---