So. a joke with a colleague at work got a little bit out of hand. I wrote a 4-Bit Virtual Machine in @typescript, using just Types, no JavaScript.

RT @mattpocockuk: Here's why the Records and Tuples proposal died, and how Composites might solve it. I did my homework for this one - I i….

My talk on ts-blank-space is now online (35min).

📢 If you wish to learn more, I'll be giving a talk on ts-blank-space in two weeks!. The London TypeScript Community Meetup is being held at the @TechAtBloomberg London Office where I work on Wednesday 2nd October. Sign up now: #opensource.

For our use case, ts-blank-space works great. I'm also impressed @kdy1dev was able to adopt this approach so quickly in SWC. Let me know what you think and please raise any issues you find on the repo!. #opensource.

There are some limitations to the type-stripping approach used by ts-blank-space, so it won't work on all @TypeScript projects. These features are not supported:. ❎ <>-style type assertions.❎ CJS-specific syntax (import =).❎ enums, namespaces, parameter properties

This work-skipping makes ts-blank-space very fast. We've seen it operate 5.6x faster than classic tsc 🔥. We reuse the official TS parser, so the only difference is the JS emit. Using this parser also means we retain access to the AST for other operations, such as custom linting.

However, the work-skipping goes beyond codegen. Because original code locations are preserved, there's no need to generate a sourcemap at all!. This is good for both performance and maintenance. ts-blank-space is also tiny: only 700 LoC 🤏.

ts-blank-space deletes the types and replaces them with spaces. This form of type erasure means the runtime code stays in its original location. We use the parser's AST only to help us find type coordinates - there is no need for traditional codegen!.

Today, I'm releasing a TypeScript compiler called ts-blank-space 🎈. We use this at @TechAtBloomberg to perform type-stripping on a modern subset of TypeScript. It's written in TypeScript and is fast because it uses whitespace to enable work-skipping.

RT @robpalmer2: TypeScript excitement 😉. 📢 It's finally happening! Come visit us in London for a free evening of top-tier TypeScript talks.….

RT @alistaiir: #TypeScript London is returning in October!. 📅 October 2nd, 2024.🗺️ Bloomberg HQ, Queen Victoria St. Three exciting talks fr….

I thought the "just JavaScript" part of React was: there isn't new syntax for `if` and loops within the template (JSX). Any logical aspect should be achieved with "just JavaScript".

Test fixtures for code transforms containing things I can't un-see

RT @robpalmer2: ECMAScript explanations 😉. The annual treatment returns with @marypcbuk thoroughly delving into the details of @TC39's ES20….

Could _jsx differ between the static and dynamic part of props?.Or maybe looping over all the props isn't as expensive as I'm imagining.

RT @alistaiir: Pleased to share that #TypeScript London<T> is returning!. We'll be announcing a meetup evening soon. If you're interested,….

I dunno. A double edged sword sounds much easier to use.

Is it too late to have:.let TAU 4eva= 2*PI;.

RT @johnny_reilly: Walked in with @acutmore this morning. The company was delightful. The weather. was British

After spending a week going through the new errors when checking with TypeScript 5.4. My biggest take away is: in many cases an explicit type annotation, especially at module boundaries, would have made my task much easier 😎.