Design by Contract in Elixir(...)
summary
Claims a workable Design by Contract layer for Elixir called elixir-contracts library and shows it enforcing pre/postconditions on functions using macros/metaprogramming. Demos reproduce the Ariane 5 $500M style failure as a missing contract, show compile‑time and runtime checks, generate documentation, and toggle assertions for testing versus production. Implementation works in examples but warns about macro complexity and performance tradeoffs and documents what actually gets checked and when.
AI-written summary · about
chapters (6)
- 0:00Start
- 3:04ARIANE 5 FLIGHT 501
- 6:58BASICS OF HOARE LOGIC
- 9:01WHAT IS DESIGN BY CONTRACT
- 10:20STRUCTURE OF A CONTRACT
- 15:34MACROS RULES
related talks
28mDesign by Contract in Elixir: “Let it crash” meets ...
38mTesting with Elixir/Erlang
10mLightning talk: Typechecking Elixir
37mContracts For Getting More Programs Less Wrong
37mBreaking the bank with test contract
01h 34mKeynote: Contracts, Testing & the Pursuit of Well Defined Behaviour
29mGeneration and Refinement of Testing Models
40mDebugging Elixir Code - The Tools, The Mindset