Will Crichton personal blog
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…
- Points
- 130
- HN comments
- 27
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 5, 2020 | Type-Level Programming in Rust by fanf2 | 130 | 27 |
