I'd also argue that maybe there should be a `pure`...

# language-proposals

[kevinmost]

I'd also argue that maybe there should be a pure modifier for functions, similar to what D has, but that's probably not a related language proposal