Comment by ekipan

Haskell, then.

    f x = let y = x + 1 in y + 1

Same deal. In (f 3), y = 4, in (f 7), y = 8. y varies but cannot mutate. Should be a true enough Scottsman.