matt-noonan/gdp-paper
View on GitHub ↗ ★ 43 SMT
Ghosts of Departed Proofs
3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2018-06-19 · latest 2018-10-17
20082026
-
…Proofs" as a way to let the compiler assert you've properly built and/or terminated values: https://github.com/matt-noonan/gdp-paper/releases/download/j...
comment by KirinDave · 2018-10-17 · in Ask HN: What's your favorite elegant/beautiful algorithm? -
▲ 2
Safe API design with the ghosts of departed proofsstory by fanf2 · 2018-06-27 · 0 comments
-
…with this (in fact, there is a really cool functional pearl about doing exactly this at scale: https://github.com/matt-noonan/gdp-paper/releases/download/j... ) but they'd think about it less as a function of assurances and "thinking very…
comment by KirinDave · 2018-06-19 · in Railway-Oriented Programming (2015)