@typesanitizer's blog https://typesanitizer.com/ Sat, 01 Nov 2025 00:00:00 GMT On the purported benefits of effect systems https://typesanitizer.com/blog/effects-convo.html Sat, 01 Nov 2025 00:00:00 GMT https://typesanitizer.com/blog/effects-convo.html @typesanitizer Six programmers and the type system https://typesanitizer.com/blog/6-programmers.html Mon, 01 Sep 2025 00:00:00 GMT https://typesanitizer.com/blog/6-programmers.html @typesanitizer A programmer's field guide to assertions https://typesanitizer.com/blog/assertions.html Sun, 17 Aug 2025 00:00:00 GMT https://typesanitizer.com/blog/assertions.html @typesanitizer How should we learn from bugs? https://typesanitizer.com/blog/bug-analysis.html Sun, 03 Aug 2025 00:00:00 GMT https://typesanitizer.com/blog/bug-analysis.html @typesanitizer Deeper theories of program design https://typesanitizer.com/blog/deeper-theories.html Tue, 01 Jul 2025 00:00:00 GMT https://typesanitizer.com/blog/deeper-theories.html @typesanitizer A meta-analysis of three different notions of software complexity https://typesanitizer.com/blog/complexity-definitions.html Sat, 14 Jun 2025 00:00:00 GMT https://typesanitizer.com/blog/complexity-definitions.html @typesanitizer The ability to learn how to judge outcomes is probably a core skill https://typesanitizer.com/blog/outcome-judgement.html Sun, 30 Mar 2025 00:00:00 GMT https://typesanitizer.com/blog/outcome-judgement.html @typesanitizer An epic treatise on error models for systems programming languages https://typesanitizer.com/blog/errors.html Thu, 06 Mar 2025 00:00:00 GMT https://typesanitizer.com/blog/errors.html @typesanitizer Our optimizers need a rethink https://typesanitizer.com/blog/rethink-optimizers.html Wed, 23 Oct 2024 00:00:00 GMT https://typesanitizer.com/blog/rethink-optimizers.html @typesanitizer On leaving my last job https://typesanitizer.com/blog/leaving-apple.html Sun, 29 Sep 2024 00:00:00 GMT https://typesanitizer.com/blog/leaving-apple.html @typesanitizer My first and last Strange Loop https://typesanitizer.com/blog/strange-loop.html Fri, 01 Sep 2023 00:00:00 GMT https://typesanitizer.com/blog/strange-loop.html @typesanitizer TFW UBSan flags a dynamic type error inside Clang https://typesanitizer.com/blog/ubsan.html Sun, 01 Jan 2023 00:00:00 GMT https://typesanitizer.com/blog/ubsan.html @typesanitizer Zig-style generics are not well-suited for most languages https://typesanitizer.com/blog/zig-generics.html Sat, 01 Oct 2022 00:00:00 GMT https://typesanitizer.com/blog/zig-generics.html @typesanitizer Experience Report: 6 months of Go https://typesanitizer.com/blog/go-experience-report.html Fri, 01 Apr 2022 00:00:00 GMT https://typesanitizer.com/blog/go-experience-report.html @typesanitizer A compiler's users (part 1) https://typesanitizer.com/blog/a-compilers-users-p1.html Mon, 01 Nov 2021 00:00:00 GMT https://typesanitizer.com/blog/a-compilers-users-p1.html @typesanitizer Not Rocket Science (Meeting Edition) https://typesanitizer.com/blog/not-rocket-science.html Sun, 01 Aug 2021 00:00:00 GMT https://typesanitizer.com/blog/not-rocket-science.html @typesanitizer Scope Sets as a Piñata for Name Resolution https://typesanitizer.com/blog/scope-sets.html Mon, 01 Mar 2021 00:00:00 GMT https://typesanitizer.com/blog/scope-sets.html @typesanitizer Are tagged unions overrated? https://typesanitizer.com/blog/tagged-unions.html Tagged unions are overrated.]]> Mon, 01 Feb 2021 00:00:00 GMT https://typesanitizer.com/blog/tagged-unions.html @typesanitizer Don't Snark https://typesanitizer.com/blog/dont-snark.html Tue, 01 Sep 2020 00:00:00 GMT https://typesanitizer.com/blog/dont-snark.html @typesanitizer An opinionated beginner's guide to Haskell in mid-2019 https://typesanitizer.com/blog/haskell-opinions-2019.html Sat, 01 Jun 2019 00:00:00 GMT https://typesanitizer.com/blog/haskell-opinions-2019.html @typesanitizer Principled Ad-Hoc Polymorphism https://typesanitizer.com/blog/ad-hoc-polymorphism.html Sat, 01 Dec 2018 00:00:00 GMT https://typesanitizer.com/blog/ad-hoc-polymorphism.html @typesanitizer 10 Commandments: Compiler in Haskell Edition https://typesanitizer.com/blog/10-commandments.html Fri, 01 Jun 2018 00:00:00 GMT https://typesanitizer.com/blog/10-commandments.html @typesanitizer Language Zoo https://typesanitizer.com/blog/language-zoo.html Fri, 01 Dec 2017 00:00:00 GMT https://typesanitizer.com/blog/language-zoo.html @typesanitizer Many Numbers https://typesanitizer.com/blog/many-numbers.html Tue, 01 Nov 2016 00:00:00 GMT https://typesanitizer.com/blog/many-numbers.html @typesanitizer Alice's Adventures with Project Euler https://typesanitizer.com/blog/alice-euler.html Sun, 01 May 2016 00:00:00 GMT https://typesanitizer.com/blog/alice-euler.html @typesanitizer