Social Media Ideas for Type Systems

Structural Typing vs. Nominal Typing: TypeScript and Java Compared

Same interface, two unrelated types, two completely different rules about what counts as a match. Imagine an interface called Movable, with nothing more exotic than an x coordinate...

Algebraic Data Types and Pattern Matching, Compared

Java, Rust, Scala, and Haskell all let you say “a Shape is exactly a Circle, a Square, or a Triangle, and nothing else.” They disagree sharply on what happens when you forget to ha...

Reified vs. Erased Generics: A Four-Language Comparison

Ask four different languages “what was T, once my code actually runs?” and you get four genuinely different answers. Each one is a real trade between flexibility and cost, not a mi...

Ad-Hoc Polymorphism: Interfaces vs. Traits vs. Type Classes

Three languages, three solutions to “different types, same operation” and three very different opinions about who gets to decide what an implementation means. Every mainstream type...

Rust’s Borrow Checker as Applied Type Theory

Ownership and borrowing are usually pitched as “smart pointers with extra steps.” They’re actually a decades-old branch of mathematics, put to work. Ask a room of engineers what th...

Go’s Implicit Interface Satisfaction: Structural Typing Without a Keyword

A type satisfies a Go interface just by having the right methods. No declaration, no keyword, no explicit contract. That’s a real type-system decision, not a shortcut. Java develop...

Strong TypeScript contracts turn refactors into checklists

Today a TypeScript refactor produced 15 compiler errors. It looked worse than it was. My Candidate Tracker used a type called AsyncResult<T> with errors represented only...

Zig’s Comptime Versus C++ Templates And Rust Macros

Every systems language eventually needs a way to generate code, specialize functions for different types, and make decisions before the program ever runs. C++ answered that need wi...

Eval-Driven Design Systems (Part 2)

Originally appeared on Gusto Engineering - Medium.From plausible to production-ready: schema-grounded code replaces hallucinated props with verified, type-safe components.In our pr...

Array Covariance vs. Generic Invariance

Java’s type system disagrees with itself about one question: if String is an Object, is String[] an Object[]? Arrays say yes. Generics say absolutely not. Both answers were deliber...

Darius Ou on building type systems from sci-fi, linguistics and G-code

From a custom typeface for a fictional field of "therolinguistics" to a book that 3D prints its own instructions, the Singapore-based designer explains how research and language sh...

Test Data Types A Mental Model for Automation using playwright at Scale

Eval-Driven Design Systems

Originally appeared on Gusto Engineering - Medium.From plausible to production-ready: schema-grounded code replaces hallucinated props with verified, type-safe components.<Butto...

SDET (Playwright / Typescript)

Type Erasure and What It Actually Costs

List<String> and List<Integer> are the exact same class once the JVM gets involved. Here’s why Java made that trade, and what it still costs today. Ask a Java developer...

TypeScript’s Go Port: Why Go Beat Rust for the Job

Discover why the TypeScript team chose Go over Rust for the compiler port, focusing on compatibility, garbage collection, and concurrency advantages. The post TypeScript’s Go Port:...