This Week I Learned #2—JOURNAL

Making Illegal States Unrepresentable—In TypeScript—JOURNAL

Showing how Scott Wlaschin’s approach in F^♯ translates to a language with a very different type system.

Data Constructors, Part 1: Understanding by Implementing —JOURNAL

Understanding an idea from Standard ML-like languages by implementing it in (boring) TypeScript.

Data Constructors, Part 2: Better TypeScript —JOURNAL

A deep dive on more idiomatic TypeScript implementations of ML-style data constructors.

Notes on Thoughtbot’s “Stop Using 'any'”—JOURNAL

A couple tweaks and improvements to a good post!

Using Classes for Functional Programming—JOURNAL

We tend to think classes are inherently for object-oriented programming, but they are much more flexible than that in JavaScript and TypeScript (and other languages too).

Reading “A Functional Programming Language with Versions”—LIBRARY

The first academic research I’m aware of which actually takes Semantic Versioning seriously!

Announcement: Speaking at TypeVille 2022 —ELSEWHERE

On the subject of “Types as Tools for Thought”

Whiskey, Web, and Whatnot: Bringing Types to Ember ↩︎—❈—ELSEWHERE

Chatting with the good folks at ShipShape about TypeScript, Ember, composing, whiskey, and more.

Why Not Type-Based Overloading in Rust?—JOURNAL

Too much spooky action at a distance.

The Cutting Edge of Versioning (LambdaConf 2024)—ELSEWHERE

Semantic Versioning, library & framework evolution, programming language design, type systems, and you.

Changelog Interviews #597: Major.Semver.Patch ↩︎—❈—ELSEWHERE

Teaming up with Predrag Gruevski to talk SemVer with Adam and Jerod.

Runtime or Types?—NOTES

A false dichotomy! They always go together.

The Essence of Successful Abstractions—JOURNAL

Complexity has to live somewhere; but it does not have to live everywhere.