pull down to refresh

What would it take to add refinement types to Rust?yoric.github.io/post/rust-refinement-types/
196 sats \ 1 comment \ @Rsync25 24 Dec 2024 devs
write
preview
related posts
0 sats \ 0 replies \ @k00b 24 Dec 2024
a refinement type system, i.e. a type system that does its work after another type system has already done its work
TIL and it seems kind of bonkers on the face of it, but this sounds really nice to have in certain contexts:
e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1).
reply