Skip to content

Architecture

Daniel Wirtz edited this page Jun 16, 2020 · 6 revisions

This page is outdated, see the new documentation instead

https://www.assemblyscript.org

Compilation

The compiler's structure is relatively conservative.

Provided with a source file, its text is tokenized and parsed into an abstract syntax tree. Syntax-level checking is performed here.

Once all referenced source files have been parsed, a program is constructed and initialized from the AST. Sanity checking is performed here. The program and its elements then act as the intermediate representation in code generation, holding all the information necessary to resolve types, identifiers, property accesses etc.

Afterwards, compilation of the program's elements to a Binaryen module is performed. Final checking of individual statements and expressions is performed here. By default, compilation starts at entry file exports and then traverses reachable program elements (also known as "tree shaking"). Doing so on compiler level provides a significant speed advantage because dead code isn't compiled at all, but also has the drawback that dead code isn't fully checked. Yet, specifying --noEmit --noTreeShaking checks everything without generating code.

The resulting module may then be validated, optimized and emitted in all of Binaryen's various output formats (textual .wat, binary .wasm, asm.js .js).

API

The compiler itself exports a relatively low-level C-like API that provides everything necessary to perform compilation in interchangeable JS/WASM environments.

The low-level API is used by asc, a compiler frontend for node, which exposes its CLI API programmatically as well.

Standard library

Standard library components reside in the std folder and are available in two variations, assembly for targeting WebAssembly with asc and portable for targeting JavaScript with tsc. The portable standard library basically declares what's already in the environment in an AssemblyScript-compatible way while the assembly standard library reimplements the same functionality in AssemblyScript for WebAssembly.

 

Clone this wiki locally