3 ms·
I think what baq is saying is that IP addresses are torsors http://math.ucr.edu/home/baez/torsors.html http://math.ucr.edu/home/baez/torsors.html . It makes sen
by FreeFull 10y ago
I think what baq is saying is that IP addresses are torsors http://math.ucr.edu/home/baez/torsors.html 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).
- eropple 10y agoSure, 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.