官术网_书友最值得收藏!

Scoping and shadowing

Whenever we define values, they exist (in the dynamic environment) in a scope, in which all previously defined names are available but only until the end of the scope. Scopes are nested inside each other, starting with the top level scope (the definitions at the file level), and nested scopes inside braces ({...}). For example:

/* src/Ch02/Ch02_Scope.re */
let x = 1;

let y = x + 1;

let
z = {
let result = 0;
result + x + y
};

Here, x and y are in the top level scope, where y can access x by name because x is defined before yz can access both for the same reason. However, note the definition of result in the nested scope introduced by the braces. The name result is only available from the point it is defined up until the closing brace; outside of that scope, referring to result will result in a compile error (specifically, a name error, which we will talk about later in the chapter).

Because Reason puts all definitions in certain scopes, we can define the same name more than once in the same scope or in a nested scope. This is called shadowing because the new definition hides the old one until the new one goes out of scope. Of course, if the old and new names go out of scope together (that is, they're in the same scope), the old name is effectively hidden forever. The following codeblock is an example of this:

/* src/Ch02/Ch02_Shadowing.re */
let name = "Bob";
let age = "33";

let greeting = {
let age = "34";
"Hello, " ++ name ++ " aged " ++ age;
};

let name = "Jim";
let greeting2 = "Hello, " ++ name ++ " aged " ++ age;

Let's now take a look at the output JavaScript as follows:

// src/Ch02/Ch02_Shadowing.bs.js
var age = "33";
var greeting = "Hello, Bob aged 34";
var name = "Jim";
var greeting2 = "Hello, Jim aged 33";

Notice how Bob's age is 34 in his greeting – the age in the greeting scope shadows age in the top level scope. However, as soon as that scope ends (with the closing brace), the original age becomes visible again and is used in Jim's greeting2.

However, the second name binding ("Jim") permanently shadows the first one because they are both in the top level scope. In fact, since the first name and the inner age will never be visible again, the BuckleScript compiler doesn't even bother to output them, instead directly inlining their values.

主站蜘蛛池模板: 莎车县| 平湖市| 晋城| 新营市| 遂平县| 涡阳县| 白水县| 乌兰浩特市| 临城县| 临夏市| 屯门区| 柘荣县| 酒泉市| 牙克石市| 筠连县| 澎湖县| 朝阳市| 吉水县| 佛山市| 云梦县| 堆龙德庆县| 额敏县| 晋城| 德阳市| 六枝特区| 阜阳市| 大庆市| 建湖县| 大同县| 突泉县| 昔阳县| 宜宾市| 五莲县| 南汇区| 富锦市| 永靖县| 濮阳市| 沁源县| 长海县| 华坪县| 龙海市|