Explore >> Select a destination
|
You are here 
|
blog.scottlogic.com | ||
| | | | |
healeycodes.com
|
|
| | | | | Making my programming language 4000x quicker, and adding a static type checker. | |
| | | | |
k33g.hashnode.dev
|
|
| | | | | This blog post is an introduction to WASI, the WebAssembly System Interface | |
| | | | |
dusty.phillips.codes
|
|
| | | | | In earlier articles, we have implemented a tokenizer, parser, and transformer to convert the Web Assembly Text Format to an Abstract Syntax Tree that can hopefully easily compile to Wasm. Truthfully, the next step should be validation. Validation is the process of statically analyzing the syntax tree to catch as many errors as possible. This is where things like type checking and borrow checking happen, for example. The wasm spec has an in-depth description of what validation should look like for a conforming compiler. | |
| | | | |
googlecode.blogspot.com
|
|
| | | Dart: a language for structured web programming | ||
