D (http://dlang.org) has had mandatory override for a long time.
117 karma · joined April 27, 2012
———
https://klickverbot.at
https://twitter.com/dnadlinger
Not exactly relevant to practice, and utterly trivial, but I suppose nobody comfortable with formal math should any problem solving it on the spot.
The point is that it enables some function to be pure in the traditional sense even if their implementation relies on mutating data – any idea how I could make this more clear?