News for hackers. Stuff that matters.

A comment on Type-Level Programming in Rust.

Re:Type-Level Programming in Rust by seanmceligot on Monday October 05, 2020 @01:27PM (#24689862)
The SecureVec is nice. I've been waiting to see this become more common. Reminds me of this talk at ICFP 2010 on compile time Authorization checks.

http://jamiemorgenstern.com/papers/ml10sectyp.pdf

[ Parent | on HN ]

There are no comments on this comment yet.