Correct By Construction

APIs That Are Easy To Use
(And Hard To Misuse)

Matt Godbolt @mattgodbolt