#alexisking#typesystems#datamodeling
12K subscribers • 8 videos on Hallway
Intermediate. Assumes working knowledge.
86K views3 months ago3 recommendations
Programming languagesSoftware designFunctional programmingDesign patterns
Alexis King argues that complex type systems are often unnecessary, demonstrating how to model invariants using a small set of simple, constructive tools.
Abstract: The type systems provided by mainstream languages have grown vastly more sophisticated, but how much value does that complexity actually provide programmers in practice? I would like to make the case that it is somewhat less than one might think. While at times convenient, invariants can be captured in the type system using a small set of simple tools applied in principled fashion, and while fancy type systems may be convenient, they have misled many programmers by obscuring what is possible to model without built-in type system support. This talk aims to provide a simple shift in perspective, plus a set of concrete design principles, to make modeling invariants in types feel accessible to the working programmer without fancy language support. Alexis King: lexi-lambda.github.io Software Should Work: softwareshould.work Thank you to our Software Should Work 2026 sponsors: Antithesis: antithesis.com RWX: rwx.com Paytient: paytient.com Redbud VC: redbud.vc ParadeDB: paradedb.comWhat people say. Recommended as an excellent talk on practical type-driven design and modeling invariants without complex language features.
u/isaacvandoin r/haskell • Recommends
u/isaacvandoin r/functionalprogramming • Recommends
u/mttdin r/ProgrammingLanguages • Recommends
neminon Lobsters • Recommends