~/talk

TDD as in Type-Driven Development

Talkat Lambda Days 2018 · 2018-02-22..02-23· [testing, typescript]

speaker

name:Clement Delafargue

website:https://clement.delafargue.name

resources

video:https://youtu.be/H8JXQPCvTw8

slides:none on file

summary

Asserts that types can prove broad properties so many tests become unnecessary and recommends a workflow: write precise types, add property tests, then use unit tests for regressions. Shows concrete tools: Option/Validation to avoid nulls and accumulate errors, newtype/tag types to prevent unit-mixups, the Rust borrow checker to guarantee single-ownership and safe resource release, and hole-driven development with Idris to let the compiler guide implementations. Cites "theorems for free" and Scala/Idris/Rust examples as working evidence.

AI-written summary · about

chapters (4)

related talks