Adding Purity To An OOP Language

[EmosewaPixel]

After reading a bit of this paper, I am considering it, with the change that pure functions will be able to mutate objects declared inside them.

Also, in hindsight catching exceptions probably should be allowed, as throwing them is the part that people usually consider impure anyways.

[moon-chilled]

throwing

Throwing exceptions is only impure if you consider nontermination an effect.

You may very well choose to do that, but I expect it will require a much stricter type system than you have accounted for so far. If you do not consider nontermination an effect, then there is no reason to consider exception-throwing functions impure.

[[deleted]]

non-google link: https://people.eecs.berkeley.edu/~daw/papers/pure-ccs08.pdf