The current scalac implementation of the update method sugar only works correctly in the most basic cases.
I am arguing for an exactly-once-curried update method, more currying leads to intractable ambiguities.
I direct your attention to this here gist:
https://gist.github.com/acdenhartog/a47fad6ebe8d32ff0ff5This is not exactly the grand-vision sort of SIP proposal, more like the overdue housekeeping kind.
Also I have not read the Scala puzzlers yet, so I do not know if any of these issue are in there.
Best regards,
Arno