The Curious Engineer

All blogs / Compilers

@typesanitizer's blog

typesanitizer.com

Musings on compilers, programming languages and software engineering.

CompilersFunctional / PL theorySoftware / engineering practice

’16’17’18’19’20’21’22’23’24’25’26
Posts
28 from 1 May 2016 to 22 Aug 2026
Posting
now and then (5 in the last year)
Kind
personal blog
Feed
https://typesanitizer.com/blog/rss.xml

2026 3

  1. There continue to be reasons for software to be slow
  2. Reviewing code is a skill
  3. Job queues are deceptively tricky

2025 8

  1. On the purported benefits of effect systems
  2. Six programmers and the type system
  3. A programmer's field guide to assertions
  4. How should we learn from bugs?
  5. Deeper theories of program design
  6. A meta-analysis of three different notions of software complexity
  7. The ability to learn how to judge outcomes is probably a core skill
  8. An epic treatise on error models for systems programming languages

2024 2

  1. Our optimizers need a rethink
  2. On leaving my last job

2023 2

  1. My first and last Strange Loop
  2. TFW UBSan flags a dynamic type error inside Clang

2022 2

  1. Zig-style generics are not well-suited for most languages
  2. Experience Report: 6 months of Go

2021 4

  1. A compiler's users (part 1)
  2. Not Rocket Science (Meeting Edition)
  3. Scope Sets as a Piñata for Name Resolution
  4. Are tagged unions overrated?

2020 1

  1. Don't Snark

2019 1

  1. An opinionated beginner's guide to Haskell in mid-2019

2018 2

  1. Principled Ad-Hoc Polymorphism
  2. 10 Commandments: Compiler in Haskell Edition

2017 1

  1. Language Zoo

2016 2

  1. Many Numbers
  2. Alice's Adventures with Project Euler