topic: type theory

Everything I’ve written on the subject, from the beginning of this version of the site.

I may also have written on this on earlier versions of my website:

(The even-earlier versions of the site existed… but are not relevant here.)

2020
- May
  - 02
    - This Week I Learned #2—JOURNAL
  - 25
    - 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.
- Sep
  - 05
    - Data Constructors, Part 1: Understanding by Implementing —JOURNAL
      
      Understanding an idea from Standard ML-like languages by implementing it in (boring) TypeScript.
- Oct
  - 13
    - Data Constructors, Part 2: Better TypeScript —JOURNAL
      
      A deep dive on more idiomatic TypeScript implementations of ML-style data constructors.
  - 31
    - Notes on Thoughtbot’s “Stop Using 'any'”—JOURNAL
      
      A couple tweaks and improvements to a good post!
2021
- Nov
  - 18
    - Reading “A Functional Programming Language with Versions”—LIBRARY
      
      The first academic research I’m aware of which actually takes Semantic Versioning seriously!
2022
- Jan
  - 28
    - Announcement: Speaking at TypeVille 2022 —ELSEWHERE
      
      On the subject of “Types as Tools for Thought”
- May
  - 19
    - Whiskey, Web, and Whatnot: Bringing Types to Ember ↩︎—❈—ELSEWHERE
      
      Chatting with the good folks at ShipShape about TypeScript, Ember, composing, whiskey, and more.