Either the def of `local` is wrong, Or the current julia behavior is unexpected

Yes, seriously.

Until here I still don’t know what is the essential effect by writing local x. Because of people’s inaccurate wording.

I don’t know if local x means:

  • introduce a new name x, which is required to be a local name in the current scope

or

  • We might have owned a name x in the current scope already, and now we declare it to be local.

Your wording is still confusing.

You can look up an English dictionary to find the meaning of introduce:

to mention something for the first time in a piece of writing

The first time here is essentially the same as