News for hackers. Stuff that matters.

A comment on Types as Interfaces. Parent comment

Re:Types as Interfaces by moomin on Wednesday July 24, 2024 @12:09PM (#41058505)
There is a fascinating result about types that they have a one to one correspondence with proofs. Dependent type systems leverage that to the hilt.
[ Parent | on HN ]

There are no comments on this comment yet.