Unlocking type-safety superpowers in Typescript with nominal and refinement types

from blog zackoverflow, | ↗ original
TLDR; I came across Typescript’s lesser known symbols to fix a problem in our codebase, but then realized it could be extended to unlock even stronger type-safety guarantees
This is a short summary. ↗ Open original to view full content

Related

Exploring JavaScript Symbols
Trevor I. Lasn Thoughts | original ↗
Interesting Bugs Caught by ESLint’s no-constant-binary-expression
Jordan Eldredge's Blog | original ↗
Associated type constructors, part 1: basic concepts and introduction
baby steps | original ↗
Using tsc as a Codebase Doctor
Chris' Full Stack Blog RSS Feed | original ↗
A VSCode Extension to Clarify Operator Precedence in JS
Jordan Eldredge's Blog | original ↗
JavaScript Truthy and Falsy: A Deep Dive
Trevor I. Lasn Thoughts | original ↗
The complete guide to safe type narrowing in TypeScript
Vladimir Klepov as a Coder | original ↗
Embracing TypeScript: The Advantages Over Raw JavaScript
The Angry Dev | original ↗
A workaround for Rust's lack of structural subtyping
nickb.dev | original ↗
A few more remarks on reference-counting and leaks
baby steps | original ↗

More from zackoverflow

Flappy Bird Implemented in Typescript types
19 Oct 2023 | original ↗

The ultimate type-level trickery

How to Actually Write C
21 Sept 2023 | original ↗

How to actually write non-trivial programs in C

Write your own Zod
29 Aug 2023 | original ↗

Write your own Zod from scratch

When Zig is safer and faster than Rust
7 Mar 2023 | original ↗

There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.

Hacking Go to give it sum types
2 Mar 2023 | original ↗

I want sum types, so let's eschew all idiomatic Go code and best practices to hack the language and add them