Webassembly Research

Motivating Question

tsc tends to be the bottleneck in modern TS toolchains. Native compilers like esbuild and swc are amazing, but they don’t perform type-checking, so you still need tsc as part of your build process. Would it be possible to speed up tsc by opaquely compiling it from a JIT’ed JavaScript program into some more optimal format like WASM or native?

Notes

• The author of swc, kdy1dev is working on porting tsc to Go in order to remove the need for tsc in many cases.

• Evan Wallace’s take

• This may not be worth the effort, but seeing as how quickly native compilers gained adoption within the TS ecosystem, a similar solution for replacing the type-checking and generation portions of tsc would have huge implications.

Projects

tyty

TLDR; I'm making a Typescript type-checker in Rust. Right now it supports a smaller subset of the type-system and exists as a fun side-project, but the end goal is a compilation tool we can use to make Typescript compilation go brrrr...

https://zackoverflow.dev/writing/tyty

• TypeScript-like language for WebAssembly

• Static TypeScript

• javy

  Github

  javy

  Owner

  Shopify

  Updated

  Aug 5, 2023

  
• JavaScript to WebAssembly toolchain
• Run your JavaScript on WebAssembly. Javy takes your JavaScript code, and executes it in a WebAssembly embedded JavaScript runtime.

• wasmer

  Github

  wasmer

  Owner

  wasmerio

  Updated

  Aug 30, 2023

  
• The leading WebAssembly Runtime supporting WASI and Emscripten
• Run any code on any client — with WebAssembly and Wasmer

• binaryen

  Github

  binaryen

  Owner

  WebAssembly

  Updated

  Aug 31, 2023

  
• Compiler infrastructure and toolchain library for WebAssembly

• wasmtime

  Github

  wasmtime

  Owner

  bytecodealliance

  Updated

  Aug 31, 2023

  
• Standalone JIT-style runtime for WebAssembly, using Cranelift

• ncc

  Github

  ncc

  Owner

  vercel

  Updated

  Aug 31, 2023

  
• Compile a Node.js project into a single file. Supports TypeScript, binary addons, dynamic requires.

• bytenode

  Github

  bytenode

  Owner

  bytenode

  Updated

  Aug 29, 2023

  
• Minimalist bytecode compiler for Node.js

• thinscript

  Github

  thinscript

  Owner

  evanw

  Updated

  Aug 23, 2023

  
• A low-level programming language inspired by TypeScript

• Related
• nerd

  Github

  nerd

  Owner

  NerdLang

  Updated

  Aug 29, 2023

  
• JavaScript native compiler. No bytecode no VM, just pure native binaries
• walt

  Github

  walt

  Owner

  ballercat

  Updated

  Aug 24, 2023

  
• A JavaScript-like syntax for WebAssembly text format
• v8-compile-cache

  Github

  v8-compile-cache

  Owner

  zertosh

  Updated

  Aug 29, 2023

  
• Require hook for automatic V8 compile cache persistence

Resources

WebAssembly

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.

https://webassembly.org/

WebAssembly | MDN

WebAssembly is a new type of code that can be run in modern web browsers - it is a low-level assembly-like language with a compact binary format that runs with near-native performance and provides languages such as C/C++, C# and Rust with a compilation target so that they can run on the web.

https://developer.mozilla.org/en-US/docs/WebAssembly

Building to WebAssembly - Emscripten 3.1.9-git (dev) documentation

WebAssembly is a binary format for executing code on the web, allowing fast start times (smaller download and much faster parsing in browsers when compared to JS or asm.js). Emscripten compiles to WebAssembly by default, but you can also compile to JS for older browsers. For some historical background, see these slides and this blogpost.

https://emscripten.org/docs/compiling/WebAssembly.html

Articles

deno.com

Dynamic languages are useful tools. Scripting allows users to rapidly and succinctly tie together complex systems and express ideas without worrying about details like memory management or build systems. In recent years programming languages like Rust and Go have made it much easier to produce sophisticated native machine code; these projects are incredibly important developments in computer infrastructure.

https://deno.com/blog/v1#tsc-bottleneck

From JavaScript to WebAssembly in three steps

My journey of improving the performance of our ultra resolution storytelling tool Micrio by upgrading the JavaScript-only client to WebAssembly.

https://engineering.q42.nl/webassembly/

How TypeScript Can Speed Up Your Adoption of WebAssembly

WebAssembly, also known as WASM, is being touted as one of the top cloud native trends to watch out for in 2022. WASM - a fast, secure and powerful way to run code across a variety of platforms - bears an uncanny resemblance to container runtimes.

https://thenewstack.io/how-typescript-can-speed-up-your-adoption-of-webassembly/

What Is WebAssembly - and Why Are You Hearing So Much About It?

WebAssembly is an open, industry-wide collaborative effort to combine the performance and security of an assembly-like language with the convenience of high-level languages. It could spark a revolution in cloud development.

https://thenewstack.io/what-is-webassembly/

AssemblyScript: Introduction to WebAssembly for TypeScript Developers

Understand the performance benefits and complexity of using WebAssembly in your application

https://leanylabs.com/blog/assemblyscript-intro/

WebAssembly Interface Types: Interoperate with All the Things! - Mozilla Hacks - the Web developer blog

People are excited about running WebAssembly outside the browser. That excitement isn't just about WebAssembly running in its own standalone runtime. People are also excited about running WebAssembly from languages like Python, Ruby, and Rust. Why would you want to do that?

https://hacks.mozilla.org/2019/08/webassembly-interface-types/

Announcing the Bytecode Alliance: Building a secure by default, composable future for WebAssembly - Mozilla Hacks - the Web developer blog

Today we announce the formation of the Bytecode Alliance, a new industry partnership coming together to forge WebAssembly's outside-the-browser future by collaborating on implementing standards and proposing new ones. Our founding members are Mozilla, Fastly, Intel, and Red Hat, and we're looking forward to welcoming many more.

https://hacks.mozilla.org/2019/11/announcing-the-bytecode-alliance/

Typescript as fast as Rust: Typescript++

JP Posma, April 2022 - Discuss on Hacker News TL;DR: This is a proposal to create a language that sits somewhere between Typescript and Rust, and which you can incrementally adopt if you already use Typescript.

https://zaplib.com/docs/blog_ts++.html