
<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div>On Fri, 2 Jul 2021, at 4:56 PM, Henning Thielemann wrote:<br></div><blockquote type="cite" id="qt" style=""><div><br></div><div>On Fri, 2 Jul 2021, Oliver Charles wrote:<br></div><div><br></div><div>> Not to derail, but I am +1 on the original suggestion, but +10 on Int* and Word*<br></div><div><br></div><div>Can people please not only say +1, but also tell some reasons?<br></div></blockquote><div><br></div><div>Natural is frequently a much more correct type than Int or Integer, as it naturally (ha) rules out needing to think about negative cases.<br></div><div><br></div><div>Int* and Word* are frequently what I need to ultimately consume or produce. I don't agree they are "low-level", unless we consider any boundary to be low-level. But even then, if I ultimately have to produce Int64, I don't want to overflow a million miles away and then suddenly fail at the boundary. Int64 _is_ the correct type throughout the whole system I'm building. Unless my whole system is low-level, but that's a subjective judgement. I also don't think we can consider Int any less low-level - it's still bounded, but in a sense even less predictably due to varying depending on the underlying architecture.<br></div><div><br></div><div> Due to needing them frequently, I just find it tedious to have to import them every time when they are perfectly uncontroversial (well, to me, anyway).<br></div><div><br></div><div>Ollie<br></div></body></html>