The Everything Feed - All Packet Pushers Pods D2DO293: Haskell in the Modern Day
Feb 4, 2026
Tikhon Jelvis, a software engineer and functional programming advocate focused on Haskell and niche languages, talks about Haskell’s modern usage and sustained community. He covers type systems and formal verification. Discussions include Haskell’s strengths for complex domain modeling, concurrency, and where niche languages fit into industry and hiring.
AI Snips
Chapters
Transcript
Episode notes
Haskell's Long-Lived Niche
- Haskell is a decades-old, pure functional language that occupies a steady niche between mainstream popularity and obscurity.
- It persists because researchers and a focused community kept evolving it and its tooling over 30+ years.
Functional Code Reduces Concurrency Pain
- Functional programming models programs as mathematical functions instead of stepwise instructions.
- That makes reasoning about dependencies easier and reduces concurrency bugs from shared mutable state.
Type Safety Solved Identifier Chaos
- At Target, Haskell was used to model complex supply-chain identifiers and rules across multiple item ID systems.
- Types let the compiler catch mismatches early rather than exposing runtime errors.