Nim has actually had that distinction for a while if you're interested. As far as I remember, the "func" keyword is sugar for a "proc" annotated with some kind of flag that enables side effect analysis.