Choose how you want to continue.
By continuing, you agree to our Privacy Policy.
Profunctor Optics
Category theory
Haskell
lens
Optics
Functional programming
Category theory
data-structures
Compositionality
Summary
This blog post discusses Tannakian Reconstruction and its implications for encoding in the context of functional programming, emphasizing the benefits of complex functor categories in achieving effective morphism composition.
MORE POSTS LIKE THIS
Is there a nicer syntax for `if let ... Some(destructred_field) else None`?
Users Rust Lang ·
Nov 2, 2026
No File System Is Fit For Purpose
Adrian Kosmaczewski ·
Oct 5, 2026
AUTHOR