Social Media Ideas for Type Theory

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...

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...

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...

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...

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...

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

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...

Логическое программирование в Scala. Теория

Здесь мы разберём ∙ элементы математической логики, связывающие её с языками программирования; ∙ ключевой аспект логического программирования — автоматизация вывода искомого...

Rethinking Java Design Patterns: From OOP to FP

The functional programming answer, to those who wonder how to integrate or combine it with object-oriented programming, is usually: Turtles all the way down. This is an aphorism wh...

SDET (Playwright / Typescript)

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...