Armored type safety with Iron

on YouTube ↗33m

" summary

Library claim: enforce domain constraints with zero cost, zero dependency using Scala 3 features. Implementation details: composition via a refine-like type operator, opaque types, inlines, and the new macro system, compile‑time refinement for constants and runtime refineEither for inputs, integrations for Cats ZIO tapir circe doobie. Production result: Ledger integrates Iron across services, shrinking runtime bugs and surfacing many errors at compile time while keeping compile latency low.

AI-written summary · about

" chapters (13)

1. 0:00Welcome
2. 1:05Presenters overview
3. 2:30Type safety cautionary tale
4. 7:37Introducing Iron
5. 9:01Compile-time constraints
6. 12:57Iron with opaque types
7. 14:24Bitcoin Satoshi type example
8. 16:51Iron with functional libraries
9. 17:53Tag validation example
10. 18:56Iron and Doobie integration
11. 20:02Doobie integration deep dive
12. 23:56Key takeaways
13. 25:30Q&A

" related talks

• 30mConstraint Typing with Boolean AlgebraMichael Perruca · Scala Days 2023 Seattle
• 50mReification and type-safety in a CQRS worldRenato Guerra Cavalcanti · Scala Days Copenhagen 2017
• 49mThe Trouble With TypesMartin Odersky · Strange Loop 2013
• 44mTelling the Truth with TypesChristopher Davenport · Typelevel Summit Philadelphia 2019
• 26mRefined, Tailor-Made TypesMohamad Kassir · ScalaIO 2019
• 40mScala vs Idris: Dependent types, now and in the futureMiles Sabin, Edwin Brady · Strange Loop 2013
• 50mSimple code for a type safe worldJan Christopher Vogt · Scala Days Copenhagen 2017
• 42mLet the Compiler Help You: How to Make the Most of Scala's Type SystemMarkus Hauck · Scala.IO 2017