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

Understanding type erasure

To concretely grasp the effect of static/dynamic separation, let's look at type erasure, which is something that happens when we compile the preceding code to JavaScript. The following is the output with all redundant comments removed:

// src/Ch02/Ch02_Demo.bs.js
var bob = [1, "Bob"];
var acmeCo_002 = [bob, 0];
var acmeCo = [1, "Acme Co.", acmeCo_002];

As we mentioned earlier, BuckleScript compiles Reason record types into JavaScript arrays with the corresponding number of elements. BuckleScript, in fact, performs quite a number of optimizations for you. Some of these come from its underlying OCaml compiler technology, which has been developed since the 1990s, but other things are quite unique in the world of language-to-JavaScript compilers.

Notice that BuckleScript has wiped out both the type definitions and has output only the minimum number of values it actually needs for runtime. The important thing to understand here is that all the output values follow the laws introduced by their corresponding types; for example, the Bob value, of type person, can only be an array with two elements (a number and a string, corresponding to the two fields in the person record), and the acmeCo value can only be an array with three elements of the correct types. Anything else is impossible – with a mathematical degree of certainty – even in output JavaScript code, because code that doesn't pass the typing rules (that is, doesn't typecheck) would not even compile.

主站蜘蛛池模板: 吉隆县| 临邑县| 明星| 封开县| 威远县| 大渡口区| 奉新县| 黄山市| 杭锦后旗| 庄河市| 金塔县| 嘉祥县| 玉林市| 湖州市| 肃南| 伊川县| 太保市| 保靖县| 阿拉善左旗| 容城县| 百色市| 托克逊县| 金寨县| 晋宁县| 英超| 大关县| 苏尼特左旗| 南澳县| 蕉岭县| 惠州市| 钦州市| 株洲县| 晋宁县| 晴隆县| 于田县| 军事| 海兴县| 股票| 博湖县| 澎湖县| 五大连池市|