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

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.

主站蜘蛛池模板: 中阳县| 罗田县| 阳朔县| 皋兰县| 炉霍县| 定安县| 宁安市| 呼图壁县| 定日县| 集安市| 云龙县| 安徽省| 淳化县| 江都市| 乌兰县| 汉川市| 通化市| 遂川县| 禄丰县| 北川| 彰武县| 余姚市| 建德市| 凤城市| 秭归县| 修文县| 河北省| 正蓝旗| 公主岭市| 肥东县| 宜春市| 灌南县| 淮南市| 广宗县| 伽师县| 囊谦县| 武城县| 万全县| 自治县| 锡林郭勒盟| 利津县|