Haskell
Purely functional language with type inference
Episodes
-
#2692: Type Safety: Static vs Dynamic, Soundness & MoreStatic vs dynamic, strong vs weak, and the truth about TypeScript's unsoundness. A deep dive into type theory. -
#103: Why Your Brain Might Be Wired for SQLIs programming difficulty objective, or is it all about your brain's wiring? Herman and Corn explore the "cognitive fit" of coding in 2025.