ᕕ( ᐛ )ᕗ

Often happy, rarely content, and likely caffeinated. Writing mainly about software.

Read-once Objects

Another value object type that lets you protect sensitive data from leakage and accidental disclosure.
Read more ⟶

Tainted Types

A value object that lets you mark data like user input as dangerous and force all downstream code to handle it correctly.
Read more ⟶

Branded Types

A secure-by-design domain primitive that gives type and run-time safety.
Read more ⟶