Re:Rust: 128 bit integers preparing to be released
by FreeFull on Sunday December 04, 2016 @12:15PM
(#13100668)
I think what baq is saying is that IP addresses are torsors http://math.ucr.edu/home/baez/torsors.html . It makes sense to give them a type where you can't add two IP addresses to each other (but you can still subtract to get an integer, and add integers).
[ Parent
| on HN ]
Re:Rust: 128 bit integers preparing to be released
by eropple on Sunday December 04, 2016 @05:05PM
(#13102027)
Sure, fine, but it'll still be an i128 somewhere, yeah? Like, you can put whatever abstraction you want on it, I still need to directly poke those bits and treat it in all ways as fundamentally the same thing as an integer, defined in those terms in order to use integral operations upon them, at the levels that somebody who's worrying about them has to care about. (Also, look at halomru's post for reasons one might intentionally add and subtract addresses from one another in the first place, which kind of holes this argument.)
That is a cool link though, I'm gonna give it a deeper read.