Items tagged "staticAnalysis"
Grats: A More Pleasant Way to Build TypeScript GraphQL Servers
Bringing Implementation-First GraphQL to TypeScript via a novel static analysis approach.

Interesting Bugs Caught by ESLint’s no-constant-binary-expression
I contributed a rule to ESLint that catches a surprisingly wide variety of logic bugs.

I gave a talk about compiling to WebAssembly in the browser
Video of my TSConf 2021 talk entitled "Faster, Safer: Compiling Untrusted Code to WebAssembly in the Browser".

Rendering “modern” Winamp skins in the browser
Writing an interpreter for a custom bytecode opens the door for rendering interactive custom Winamp skins in the browser

The Super Tiny Compiler
A tiny compiler written in JavaScript perfect for hands on learning

SQLite can emit ASCII art diagrams of its parse AST
For debugging purposes you can compile SQLite with special flags to make it print out its ASTs in a special ASCII format

Super Tiny Type Checker
A minimal JS implementation of a type checker great for hands on learners
SQLite Railroad Diagrams
I love the way SQLite uses these visual diagrams to describe the grammar of their SQL dialect

no-unused-binary-expressions: From code review nit to ecosystem improvements
How implementing an ESLint rule led to changes in how people write JavaScript
Can’t use Shiki (and likely other Wasm-based tools) in Next 13 server components
A bug I hit with Skiki and Next 13
Compiling to AST
A pattern for tracking location information when compiling to a high level language

Bob Nystrom explains the Pratt Parser algorithm
Sharing Bob Nystrom’s excellent blog post explaining the Pratt Parser algorithm which offers a very clean way to model operator precedence
Introduction to Compiler Construction by Christoph Kirsch - University of Salzburg
An online compiler course which I found quite helpful
Mermaid: A little embeddable language for charts and diagrams
A delightful little language for describing diagrams
Growing a Language, by Guy Steele
A tech talk which is as structurally and linguistically virtuosic as it is insightful

Grats’ very nice testing strategy
Sharing a document I wrote about a testing strategy which I’ve found quite effective for Grats
