pull down to refresh

0 sats \ 0 replies \ @k00b 24 Dec 2024 \ on: What would it take to add refinement types to Rust? devs
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).
write
preview