- Learn Type:Driven Development
- Yawar Amin Kamon Ayeva
- 239字
- 2021-07-02 14:41:26
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.
- Mastering Adobe Captivate 2017(Fourth Edition)
- Windows Server 2012 Unified Remote Access Planning and Deployment
- Full-Stack Vue.js 2 and Laravel 5
- Blender 3D Incredible Machines
- Visual Basic學習手冊
- 從0到1:Python數據分析
- Visual Basic程序設計實驗指導(第二版)
- Android驅動開發權威指南
- 深入實踐Kotlin元編程
- Unity Character Animation with Mecanim
- Mastering HTML5 Forms
- Shopify Application Development
- SQL Server 2012 數據庫應用教程(第3版)
- 金融商業數據分析:基于Python和SAS
- Software Architecture with Python