<div dir="ltr"><br>On Thu, 7 Jan 2021 at 18:12, Peter Elderson <<a href="mailto:pelderson@gmail.com">pelderson@gmail.com</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">Jmapb <<a href="mailto:jmapb@gmx.com" target="_blank">jmapb@gmx.com</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">We don't want housenumbers to turn into regexes.<br></blockquote><div><br></div><div>That's a strawman argument, and an argumentum ad populum. I did not see anybody suggesting regexp in housenumbers, that's the strawman,<br></div></div></div></blockquote><div><br></div><div>I didn't see any explicit suggestion that we would need regexes in house</div><div>number ranges.  I did see that some of the examples given led me to<br></div><div>conclude that regexes would be one way of doing it.<br></div><div><br></div><div>Take 27-35.  Is it 27, 28, 29,,..,35?  Or 27, 29, 31, 33, 35?  Or the atomic</div><div>address 27-35, with the address of the next building being 27-37?  Of</div><div>the atomic address 27-35 with the address of the next building</div><div>being 29-35?  I haven't seen any example given here of that</div><div>.last one, but I've seen the others.  I can conceive of weirder</div><div>ones.</div><div><br></div><div>If we're going to be able to specify these in a way that software</div><div>tools can understand, indicating which parts change and which</div><div>parts don't, regexes would be a precise, concise way to do it.</div><div>They'd just be very difficult for most ordinary mappers to enter</div><div>correctly.<br></div><div><br></div><div>There are those of us who see that regexes would solve the</div><div>problem elegantly, concisely and precisely yet hope we don't</div><div>end up having to use them.</div><div><br></div><div>-- <br></div><div>Paul</div><div><br></div></div></div>