High-Performance Haskell: SlotMap Implementation
2026-03-30
Exploring high-performance Haskell by implementing a mutable SlotMap for an order matching engine. Attempting to mimic Rust's memory efficiency backfired with a 20x performance drop due to SoA/AoS mismatches and GC overhead. A valuble lesson on why mixing low-level mutability with high-level immutable abstractions is a bad idea.
8282 words
|
41 minutes
Lens: An Elegant Way to Operate on Complex Data Structures
2026-03-01
A deep dive into Haskell Optics. Learn how to derive Van Laarhoven Lenses, Prisms, and Traversals from scratch, and discover how to build a robust Opaque Optics system with better composition and compiler error messages using type-level programming.
5234 words
|
26 minutes
Type-Level Magic: A Type-Safe Stack DSL in Haskell
2026-02-26
Building a Haskell stack DSL that rejects invalid programs at compile time.
3806 words
|
19 minutes
My June in 2025
2025-07-06
Some experiences, random thoughts and discoveries in June 2025.
1823 words
|
9 minutes
Useful Github Projects
2025-07-04
A collection of useful Github projects for various tasks.
138 words
|
1 minute
Type-Level Magic: A Recursive printf in Haskell
2025-06-06
How to write a simple printf in haskell?
2721 words
|
14 minutes