Lucas and Luna explore why OCaml, a decades-old functional programming language, is experiencing a quiet resurgence in 2026 — particularly in financial technology and formal verification. They break down how Jane Street Capital processes billions of dollars in trades daily using OCaml, why its type system prevents entire categories of bugs that plague C++ and Java, and how the language's unique 'expression-oriented' design makes concurrent code safer. They also discuss OCaml's growing role in smart contract auditing, where its strong static guarantees catch vulnerabilities before deployment. With examples from blockchain security firms and quantitative hedge funds, this episode explains why OCaml is becoming the go-to choice for systems where correctness is literally worth millions. Along the way, Lucas and Luna touch on why the language's learning curve is steeper than Python but shallower than Haskell — and why that sweet spot is drawing a new generation of developers away from Rust for certain use cases.

#OCaml #FunctionalProgramming #FinancialTechnology #JaneStreet #FormalVerification #SmartContracts #BlockchainSecurity #ProgrammingLanguages #TypeSystems #ConcurrentProgramming #HedgeFunds #QuantitativeFinance #OpenSource #DeveloperTools #Technology #SoftwareEngineering #FexingoBusiness #BusinessPodcast

Keep every episode free: buymeacoffee.com/fexingo