SP
Srijan Paul
@injuly
Safer haskell programming with type level proofs.
Submitted Jun 20, 2024
A talk about using type level programming concepts to prevent code with incorrect business logic.
Covers the topics in a function pearl titled “Ghosts of Departed Proofs” by Matt Noonan.
{{ gettext('Login to leave a comment') }}
{{ gettext('Post a comment…') }}{{ errorMsg }}
{{ gettext('No comments posted yet') }}