Hacker Blog Posts

dylanj.xyz personal blog

Formally Verifying Rust's Opaque Types

by Dylan R. Johnston dylanj.xyz published 2022-08-01

Introduction The other day I was reading this blog post covering existential types in Rust (also known as impl Trait or opaque types). In that blog post, the author makes the following claim. We’re going to have to take a slight diversion into type theory here because it motivates a result that is perhaps intuitive…
Read on dylanj.xyz → Discuss on HN (65) Archived copy
Points
133
HN comments
65
Submissions
1
Cited by
0 commenters

Software EngineeringProgramming Languages2022

On Hacker News

SubmittedTitle on HNPointsComments
Aug 1, 2022Formally Verifying Rust's Opaque Types by BreakfastB0b13365

Related posts from the same era