Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,545 posts.

Software Engineering
Any year
10399

Type-Level Programming in Rust

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…