GADTs for Type-Level Domain Logic
I’ve been leveraging Generalized Algebraic Data Types (GADTs) in Haskell and found them exceptionally powerful for encoding domain-specific rules and …
Short-form content and quick notes that don’t warrant a full blog post.
I’ve been leveraging Generalized Algebraic Data Types (GADTs) in Haskell and found them exceptionally powerful for encoding domain-specific rules and …
I’ve been diving into Haskell’s attoparsec and I’m impressed by how it simplifies building complex parsers. Here’s a quick example for a …
While working with embedded structs, I learned that even implicitly promoted fields can be silently copied if the parent struct is passed by value. This becomes …
I came across tmux-sessionizer today, and this has become handy in how I’m managing tmux sesisons.
For my workflow, I added an alias that’ll launch …
I recently updated the README 1 on my Github profile to add a new blog post entry, which made me realise this manual process was a good candidate for …