SBTB 2023: Tikhon Jelvis, Better Code Design with Types and Concepts.

ai.bythebay.io Nov 2025, Oakland, full-stack AI conference What can types do for us? Are types *exclusively* for preventing bugs? Is static typing inevitably an investment with short-term costs and long-term payoffs? They don't have to be! With the right shift in mindset, types become a powerful tool for design and expression—not just a way to catch mistakes. By seeing programming and design in terms of *concepts* (as developed in Daniel Jackson's *The Essence of Software*), we can start systematically using types to drive the design of our systems, tie our concrete implementation code to specific concepts and even iterate on the conceptual models themselves. The combination of types and concepts gives us a new foundation for thinking about code design and software engineering in general. We get a stronger foundation for designing our own codebases, libraries and APIs, as well as a direction for how to use and develop future tools like dependent type systems and AI code generation. More details available here: https://www.scale.bythebay.io/post/tikhon-jelvis-better-code-design-with-types-and-concepts