Compiling Go to WASM

I share my experience compiling Go to WASM for a side project.

TypeScript and Haskell: Unions & Singletons

I briefly explore union types and singleton types in Haskell and TypeScript.

Understanding Go generics

A complete brain dump of my understanding of Go generics at the time.

Understanding Go interfaces

I explore the implementation details of Go interfaces.

Programming with Units

I describe a code meta-pattern that I have developed and applied in the last year.

Declarative and composable input validation with rich errors in Java

I tackled the problem of data validation in Java with declarative & functional programming inspired by Haskell.

Java Pattern: Algebraic Data Types

Exploring the implementation of Algebraic Data Types in Java.