News for hackers. Stuff that matters.

A comment on Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types. Parent comment

Re:Zero-Cost POSIX Compliance: Encoding the Socket State Mac... by ngrislain on Wednesday March 25, 2026 @06:39AM (#47515563)
Yes the user has to be cooperative somehow. You could emulate linear/affine types like features with indexed monads though.
[ Parent | on HN ]

There are no comments on this comment yet.