I sit down with Don Syme, the creator of F#! We chat about language design, the "sweet spot" of type system expressivity, and how A.I. will affect the future of software development.

Topics covered:

• The origin story of F#

• Why types, data modeling, and functions beats type-level wizardry
• The Object-Oriented tidal wave of the 90s
• Designing programming languages for the real world
• The case against type classes, and why simpler systems often win in real engineering.
• How task-oriented AI workflows are reshaping developer productivity.
• Why writing good constraints and guardrails may become as important as writing good code.
• Will programming languages still matter?
• Continuous AI for teams
• Natural language as a programming model
  

• 
  
• What Kind of Programming is Natural Language Programming?
• On Natural Language Programming
• The Early History of F#
• Bora's Law
• On Type Classes
• The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericity