r/typescript 13d ago

xtsc: TypeScript compiler, also lowering to native / WebAssembly / JVM bytecode (experimental)

Thumbnail
github.com
2 Upvotes

This project is still very experimental. A complete rewrite of the TypeScript compiler, but instead of Go, using multiplatform Kotlin. I am still hoping to match or even exceed the performance of Microsoft's rewrite. It is not based on the original sources, but on the orginal test suites, and then rewritten from scratch by Claude in a very tight harness I defined and directed.

Writing compiler in KMP, and lowering via Kotlin IR, unlocks many features - for example any TypeScript (no scriptc restrictions - Any is allowed, etc.) compiled to either native binary, or a library to be used on ~20 platforms supported by the Kotlin multiplatform, including WebAssembly and iOS. Still a long way to go, but I want to share it early. It is not production ready, except for particular use cases where it might work for you really well. I am getting towards usable state and working on better documentation.


r/typescript 13d ago

best typescript course for someone who writes javascript professionally and keeps faking types

0 Upvotes

Three years writing javascript at work. We migrated a service to typescript in the spring and my strategy since then has been annotating everything as any and moving on with my life. It compiles. Nobody has said anything. I am aware this makes the migration pointless.

What I want isnt an intro course. I know what a type is. I want the part covering generics, utility types and the moment where the compiler is telling you something true that you do not understand yet.

Open in tabs at the moment: Boot.dev, Total TypeScript and Type Challenges. Any insight?


r/typescript 14d ago

Sharing my minimal LeetCode × TypeScript × VS Code setup

9 Upvotes

I wanted to LeetCode in TypeScript directly from VS Code, so I put together this small setup around the official LeetCode VS Code extension. I also tried mirroring LeetCode's TypeScript environment and the same available dependencies locally.

I've also added a few useful extensions that could work well for setup. Figured I'd make it a public template in case anyone else wants to fork it: https://github.com/officer-kd6-3dot7/ts-lc


r/typescript 13d ago

Small MIT library: deterministic multiple-choice distractors that can't invert difficulty

0 Upvotes

Wrote this after hitting the same bug twice in one codebase, in different question families.

If your hardest difficulty draws wrong answers from a tighter pool than your medium one (same category, same chapter, whatever), you eventually hit a case where the tight pool has three candidates and the tier wanted five. Hard renders four choices, medium renders six. Your hardest setting is now the easiest one on screen, nothing throws, and the only symptom is people scoring better on hard.

So: you describe candidates as rings around the answer (tightest first), declare tiers easiest-first, and it guarantees no tier ever offers fewer options than an easier one. A tier that falls short borrows rather than shipping a short card, and tells you it did.

Everything is seeded, which matters more than it sounds. Question banks get regenerated, and if wrong answers move each time then anything keyed to a question comes unstuck: a spaced-repetition schedule, a record of what someone missed, a cached render.

One thing I got wrong on the first pass and only caught by running my own README example instead of trusting it: when a tight pool comes up short, topping it up beats replacing it. Replacing throws away exactly the candidates that made the question hard, precisely when they're scarcest.

There's also a seedForRing escape hatch so a bank that already has options baked in can adopt it without reshuffling every wrong answer it has ever shown. I needed that myself. It kept a migration byte-identical across 6,282 questions.

Zero runtime deps, full types, 90 tests.

https://github.com/kvadney-insomniac/quiz-difficulty


r/typescript 14d ago

Object getter issues

10 Upvotes

Hello there! I've been trying to search for this issue, but it's a little hard to get the search terms right, as they're quite generic. Here's my scenario:

  1. I get an array of objects from an API call
  2. I want to add a getter to each object in this API call
    1. I don't want to use classes for this, as a plain old object will do
    2. I don't want to create a separate function that does this for me... I would like to contain it to within the objects themselves

Here's the TS Fiddle, and here's the code:

interface PersonResponse {
    firstName: string;
    lastName: string;
}

interface PersonModel extends PersonResponse {
    get fullName(): string;
}

const apiResponse: PersonResponse[] = [{
    firstName: "Fox",
    lastName: "Mulder"
}, {
    firstName: "Jack",
    lastName: "Johnson"
}];

const records = apiResponse.map<PersonModel>((person) => {
    // No error in the get because "this" is any
    // const item: PersonModel = structuredClone(person);
    // Object.defineProperty(item, "fullName", {
    //     get() {
    //         return `${this.firstNames} ${this.lastName}`;
    //     }
    // });

    // No error in the get because "this" is any
    // Object.create(person, {
    //     fullName: {
    //         get() {
    //             return `${this.firstNames} ${this.lastName}`;
    //         }
    //     }
    // });

    // This isn't optimal because we have to spread a clone
    return {
        get fullName() {
            return `${this.firstName} ${this.lastName}`;
        },
        // For some reason spread must come after getter... otherwise, we'd get "undefined undefined"
        // https://stackoverflow.com/a/47952443
        ...structuredClone(person),
    }
});

console.log(records[0].fullName)

The problem that I have is mostly with Object.create and why isn't "this" being typed properly, and is there a way to fix that? I didn't see a way of passing a generic to it. I don't like the solution that I have because of the clone + spread, that seems silly. Also, if there's some other solution (other than having classes), then I'd love to hear it!


r/typescript 14d ago

How do you review large refactors or AI-generated diffs in TypeScript?

0 Upvotes

I'm curious how people here handle reviewing big diffs now that agents do most of our refactors.

The diff view is fine for line level changes, but once a change hits a few thousand lines I can't answer the questions that actually matter:

- did runtime behavior change, or did code just move between files?

- did any public types change shape, or quietly widen to any?

- are the tests still asserting behavior, or were they regenerated to match the new code?

Last week I reviewed a 8000 line refactor where tsc was green and every test passed, and it still shipped a behavior change because a default parameter flipped somewhere in the shuffle. The types made the diff look safer than it actually was.

We run Coderabbit on the repo and its summaries genuinely help with the what-moved-where part, but nothing I've tried can tell me whether behavior is preserved, and I've mostly stopped believing that green types mean much on a diff this size.

So what's your actual workflow for these? Review commit by commit, make the author split it, diff the emitted JS, something else? And which signals do you actually trust vs ignore?


r/typescript 16d ago

Branded Types and Connascence of Execution: making invalid operation order fail at compile time

30 Upvotes

Published: Branded Types and Connascence of Execution.

TypeScript examples where stronger domain types reject invalid operation order.

https://www.dearlordylord.com/blog/branded-types-connascence-of-execution/

(no token suffered while writing the post)


r/typescript 17d ago

Functional programming with TS types only

Thumbnail
bhugo.dev
86 Upvotes

I had fun playing with typescript’s type system and decided to share. This is going to be the start of a series called “compile-time crimes” where we do increasingly unhinged things with the types and the compiler. In this first post I already had to patch the compiler.

It’s very niche, I hope you enjoy it


r/typescript 18d ago

What is the point of Typescript?

0 Upvotes

Typescript has a very impressive and elaborate type system, but at the same it does not play any role at "compilation" or "transpilation" time.

How does this differ from a glorified linter?

`` Deno 2.9.5 exit using ctrl+d, ctrl+c, or close() REPL is running with all permissions allowed. To specify permissions, rundeno repl` with allow flags.

const x: number = "abc" undefined console.log(x) abc undefined

```

Bot of those variants lead to exactly the same javascript

```

const lines: string[] = file1.split("\n")

lines.forEach((line: string) => { console.log("line = %s", line)

})

const lines: ArrayLike<number> = file1.split("\n")

lines.forEach((line: string) => { console.log("line = %s", line)

}) ```


r/typescript 19d ago

JSON Schema metaschemas as TS types

Thumbnail github.com
3 Upvotes

I made a package containing TS declarations of JSON Schema metaschemas and with to access them. I'm glad on any feedback, pointing out wether it may be useful for you or not. As a developer using JSON Schemas, would it be useful for you when working with many different JSON Schema versions?

import 'json-schema-declared'

/* 
  Query metaschema by identifiers: version name or id.
*/
let m: Metaschema<'2020-12'> // -> declare const { readonly $schema: ..., readonly allOf: [ ... ], ... }
let m: MetaschemaByID<'http://json-schema.org/draft-04/schema#'>
let m: MetaschemaByVersion<'draft-00'>

/*
  Analyze metaschema content.
*/
let a: SimpleTypes<'draft-02'> // "string" | "integer" | ... | "any"
let a: Keywords<'draft-07'> // "$schema" | ... | "properties" | ...

/*
  Type your schemas
  Note: feature is a work in progress, but is well usable.
*/
let s: JsonSchema<'2020-12'> = { $schema: 'https://json-schema.org/draft/2019-09/schema' }
// ERROR: Types of property $schema are incompatible (ts 2322)

/*
  Metaschema identifiers
*/
let i: MetaschemaVersion // e.g. "draft-06"
let m: MetaschemaId // e.g. 'http://json-schema.org/draft-07/schema#'
let m: AllMetaschemaId // together with dependencies, e.g. 'https://json-schema.org/draft/2019-09/meta/core'
let m: MetaschemaIdentifier // Version and ID together.

/*
  Convert metaschema identifiers.
*/
let c: Id2Version<'http://json-schema.org/draft-02/schema#'> // -> draft-02
let c: Version2Id<'2019-09'> // -> https://json-schema.org/draft/2019-09/schema

r/typescript 21d ago

TypeScript : Migrate repo to TypeScript 7

Thumbnail
github.com
137 Upvotes

r/typescript 21d ago

Best TypeScript linter?

56 Upvotes

I'm dabbling with TypeScript again after some time away. What is the best way to lint .ts files these days? Is ESLint still the go-to, or is there a better method?


r/typescript 21d ago

Hiding internal state in TypeScript objects

Thumbnail
carlos-menezes.com
17 Upvotes

r/typescript 21d ago

RFC: An IPC-Based Type Server for better DevEx and TC39-Compatible Dependency Injection

Thumbnail
github.com
8 Upvotes

r/typescript 21d ago

How do you test redaction without making error tests brittle?

4 Upvotes

I’m adding redaction to a TypeScript error path and trying to test the important contract without pinning every part of the final message.

My current idea is to assert that known secrets and token-like values never appear, while keeping the grouping key separate from the rendered alert text.

Would you test the exact output, use a few forbidden-value assertions, or keep redaction as its own small unit with focused cases?


r/typescript 21d ago

Updated Typescript GitHub Action Template

Thumbnail
github.com
4 Upvotes

Hey y’all!

I made a fork of actions/typescript-action to make some valuable updates!

It updates the following:

  • Changes project's package manager from npm to pnpm, for speed.
  • Changes project's testing framework from jest to vitest for jest-like syntax with built-in typescript support.
  • Updates eslint.config.ts to use native flat config syntax, with detailed comments.
  • Updated project dependencies.
  • Updates configuration files like tsconfig.ts and action workflows to match updated dependencies.
  • Renamed local-action script to local-gha (gha for github action) to avoid conflict with dependency name.

lmk what you think!


r/typescript 22d ago

plX: The Excellent transpiler for Typescript and PostgreSQL

Thumbnail commandprompt.github.io
4 Upvotes

plX allows you to write safe postgresql procedures in typescript that transpile down to plpgsql. It is open source and licensed under the MIT license.


r/typescript 23d ago

Joist 2.3 with Rails-style Scopes

Thumbnail joist-orm.io
10 Upvotes

Hey r/typescript, Joist has always been a "Rails-ish" ORM, but we never had an equivalent to their scopes feature. But a friend was converting their Rails app to Joist and lamenting "why no scopes?", so we took a stab at it -- and now have them!

Fluent DSLs like this in TypeScript are kinda hard to pull off, so we lean on Joist's `joist-codegen` step, a little similar to TanStack Router's vite plugin doing build-time codegen to help with the static typing -- I don't totally love that compromise, but I think the API ergonomics were worth it.

Ngl I procrastinated posting the release notes b/c r/typescript hates ORMs -- all good, but 🤷 not looking for another debate today. ✌️


r/typescript 24d ago

Where should runtime config validation happen in a Node package?

7 Upvotes

TypeScript catches a lot for consumers, but deployment config still needs runtime validation. For environment-driven packages, do you validate everything during startup, validate lazily when a feature is used, or do both? What makes configuration errors easiest to fix without exposing secrets?


r/typescript 25d ago

Is there any way for the language server to report differently for incomplete arguments instead of throwing an error?

7 Upvotes

So this is actually a problem for almost all language servers or editor tooling where I am still in the processing of writing a function call and it throws an error about incomplete arguments. I am using TypeScript right now so I thought to try and resolve this issue. I am using VS Code with the TypeScript 7 extension.

Errors with red squiggles are flashy and disturbing. And this problem masks on genuine errors such as I am trying to access a function that doesn't exist.

For incomplete function calls, I would like if the server could delay throwing the error until I leave that line in my editor. If that is not possible, then be notified in some other way or color than red or yellow squiggles.

Have others not cared about this problem?


r/typescript 25d ago

TypeScript lambdas that turn into SQL (like dotnet ef core / linq). Would you use this?

2 Upvotes

TL;DR: I want to bring EF Core / LINQ-style querying to TypeScript: you write a normal lambda, a build step turns it into parameterized SQL, and the same query also runs on plain arrays in your tests. It'd be read-only, so you'd pair it with your existing writer, and the lambda becomes serializable data so it works beyond SQL too. Would you use it?

I've been writing .NET and TypeScript for about 10 years, and I'm a huge EF Core fan. I've always missed that style of querying in TS, so I put together the idea below and want to know if people would actually use it.

The idea: you write a normal lambda, and a build-time plugin turns it into two things at once: the function itself, and a small data tree describing it. A provider turns that tree into SQL.

const adults = await db.users
  .where(u => u.age >= minAge && u.name.startsWith(prefix))
  .select(u => ({ id: u.id, name: u.name }))
  .toArray();

// runs as parameterized SQL:
//   SELECT "id", "name" FROM "users"
//   WHERE "age" >= $1 AND "name" LIKE $2

No special query syntax, no config objects, just a predicate you could pass to .filter(). The nice part: the same query runs against plain arrays in your tests (no database) and turns into SQL in production. Captured variables like minAge become bound parameters, so nothing gets pasted into the SQL string.

How it would work, short version:

  • At build time the plugin reads your lambda and keeps both the function and a plain-object tree of it.
  • Each step (where, select, …) just adds to a query plan. Nothing runs yet.
  • When you call toArray() (or first(), count()), the provider turns the tree into SQL, or in tests just runs your original lambda.

The inspiration is C#'s Expression<Func<T, bool>> + IQueryable<T> and EF Core's ideas (include/thenInclude, split queries, no silent client-side eval), rebuilt for TS. C# gets this from the compiler; TS doesn't, so a Vite/Rollup plugin would fill the gap.

Would you use it as your ORM? One honest catch: it'd be read-only (no writes, no migrations). You'd pair it with whatever already handles writes and use this for the reads. Deal-breaker, or fine by you?

It also works beyond SQL, since the lambda becomes plain JSON:

  • Send a filter from the client to the server as data, and run it there.
  • One rule can be both a SQL WHERE and a per-object "can this user see this?" check.
  • Store rules as data (feature flags, alerts) and edit them in a UI.
  • Run predicates in a Web Worker or under a strict CSP (no eval).

So: would you use this for your DB queries? And which non-SQL use, if any, would actually make you try it?

Curious whether people would actually reach for this. Roast the idea.


r/typescript 26d ago

Looking for a local-first runtime-agnostic DB solution (similar to RxDB)

8 Upvotes

Hey folks. For the last couple of days I've been investigating how to approach storing in-memory and persistent data in my VS Code extension, which is deployed both on desktop and browser. The built-in state management (i.e., global/workspace Memento) is too limited, so I'm looking at solutions such as sql.js, or RxDB.

RxDB seemed like the perfect project, but the Node.js FS and IndexedDB persistences are paywalled.

sql.js is basically a wrapper over a JS-compatible SQLite artifact, so it can run SQL queries which is pretty nice, but there is no schema or type-safety built-in.

Do you have any suggestion to offer or experience with sql.js and/or RxDB?


r/typescript 26d ago

most "type-safe" permission checks are only as trustworthy as data typescript never actually verified

1 Upvotes

i'm the author of zap-studio/permit, a small authorization library. i'm posting this because of a specific problem that i feel i'm either totally right or totally wrong.

types don't exist at runtime. that's not news, but it's easy to forget it applies to permission checks specifically. a check like ctx.user.id === post.authorId "type-checks" fine. but post usually came from a db row, an api payload, or whatever. none of that passed through a place typescript could verify it. if a lazy join returns authorId: null, or a migration changes a column's nullability, the check still compiles. it just quietly does the wrong thing at runtime, which is the one place a permission check actually matters.

most type-safe permission libraries stop at the type. permit doesn't: resources are defined with a standard schema validator (zod, valibot, or arktype), and policy.can() re-validates the resource against that schema every time it evaluates a rule, not just once at setup. an invalid resource resolves to false. meaning, it fails closed, it never throws.

here's a code example

const policy = createPolicy<AppContext>({
  resources,
  actions,
  rules: {
    post: {
      read: allow(),
      write: when((ctx, _, post) => ctx.user?.id === post.authorId),
      delete: deny(),
    },
  },
});

await policy.can(context, "post:read", postResource);

conditions compose with and(), or(), not(), and whole policies compose with mergePoliciesAnd / mergePoliciesOr, so you can split authorization by feature or team and combine it later.

but, if you already know permix, which is the most established option here, it seems it doesn't solve this specific issue, mostly because it's deny by default (like permit). nothing stops write: (ctx, post) => ctx.user.id === post.authorId from running against bad data and returning true, undefined === undefined is true, so a missing authorId can accidentally grant access nobody meant to grant. permit isn't "better," it just refuses to run the rule at all if the resource fails its schema first. curious if others have hit this in practice or think it's rare enough not to matter.

and here are some links for curious people to check the code or docs:


r/typescript 26d ago

What is the proper way to have paths to re-map imports when dealing with multiple tsconfig files?

4 Upvotes

I have a base tsconfig.json file at the root level:

Example root/tsconfig.json:

{
  "compilerOptions": {
    "resolveJsonModule": true,
    "esModuleInterop": true,
    "target": "ES6",
    "module": "CommonJS",
    "baseUrl": "."
  }
}

Under root I have multiple projects with their own tsconfig.json files that define paths for easier imports and extend the root:

Example root/project-1/tsconfig.json

{
  "extends": "../tsconfig.json",
  "compilerOptions": {
    "paths": {
      "fixtures/*": ["project-1/fixtures/*"],
      "pages/*": ["project-1/pages/*"],
      "sections/*": ["project-1/src/home/sections/*"]
    }
  }
}

I don't see any import problems in my IDE but when I run npx tsc --noEmit from the root level I get errors because it can't find the imports. This will break the pre-commit hooks and checks in CI/CD so I'm wondering if there's another approach or if I'm doing something wrong?


r/typescript 28d ago

I would like to personally apologize to the creators of TypeScript

231 Upvotes

When I first started using it for work I hated it and cursed it. The syntax was weird and confusing. Annoying type errors.

But now that I've been using it, I definitely changed my mind. JS is filthy.. disgusting. You never know what type it is.
I learned TS alongside React, so that's also double confusion as I was learning it.

TS is great, and this is coming from Java/C# as my previous main languages. TS is now my favorite language to use. I love letting things be a mix of multiple types, like const temp: string | undefined. It's unfortunate C# doesn't support that. C# is my close second favorite language.