<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>SUMMARY<br></div><div>I think we're about to have a discussion of what's appropriate to have on this list, so I've started a new thread.</div><div><br></div><div>I formulate the question as: Is this list an appropriate place for the discovery, discussion and application of Python's core design decisions and coding principles? Or in other words, is a PEP an appropriate place to record the outcome of such activities?</div><div><br></div><div>If you want to discuss further, this thread I suggest is the place to do it. But I'd rather you suspended such contributions, until I have elsewhere by example shown what I mean by the discover etc of Python's core principles.</div><div dir="ltr"><br></div><div>BACKGROUND</div><div><br></div><div>In "Why not ['a','b','c'].join(',') ?" Chris Angelico wrote:</div><div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">this is a topic for python-list, not python-ideas, unless someone<br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">is proposing a change.</blockquote><div><br></div><div>In response, I made and stated a bold statement. Namely that the Python syntax for string join is a consequence of Python's core design decisions and coding principles, together with the semantics of join. When I made this statement, I was confident it was true.</div><div><br></div><div>ABOUT PYTHON PRINCIPLES</div><div><br></div><div>After further reflection, I realised that it applies more widely. I've also discovered, applying the principle, a gap in the Python string module. Right now and here is not a good time to talk about it, but YES, someone will be proposing a change.</div></div><div class="gmail_quote"><div><br></div><div>I've said recently on this list, at least once, that I'm a pure mathematician. And that I'm trained to find a small, simple and elegant system of rules which determine the behaviour of a large number of examples.</div><div><br></div><div>AN EXAMPLE - Roman and Arabic numbers</div><div><br></div><div>The Hindu-Arabic numeral system 1, 2, 3, 4, 5, ..., 9, 10, 11, ...  were developed in 1st to 4th centuries by Indian mathematicians. Addition and multiplication of numbers, using this numeral system is much simpler than using the earlier Roman numeral  system I, II, III, IV, V, ...,  IX, X, XI, ... .</div><div><br></div><div>This is part of the story of how the discovery and introduction of new concepts made addition and multiplication much easier. By the way, from about 500 to 630 a symbol that we now would call zero was introduced, and understood. And today zero is mathematics for children, if not exactly child's play.</div><div><br></div><div>While writing this, I consulted </div><div><a href="https://en.wikipedia.org/wiki/Hindu%E2%80%93Arabic_numeral_system#History">https://en.wikipedia.org/wiki/Hindu%E2%80%93Arabic_numeral_system#History</a></div><div><br></div><div>FACTS, AXIOMS and THEOREM</div><div><br></div><div>Chris Angelico wrote: </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It's way WAY simpler than all this. "Iterable" isn't a type, it's a<br>protocol; in fact, "iterable" just means "has an __iter__ method".</blockquote><div><br></div><div>I think that for Chris this is a FACT about Python. This is the way Python is. </div><div><br></div><div>My mathematical approach is to find simple AXIOMS for which have this FACT is a logical consequence, or in other words a THEOREM. (Also we want the axioms not to have wrong statements as a logical consequence.)</div><div><br></div><div>Here's an example to show how FACTS, AXIOMS and THEOREMS fit together. For most of us, at grade school statements such are 2 + 2 = 4 and 7 * 8 = 56 are FACTS when summoned from memory. And 1 + 2 + 3 + 4 + 5 = 15 is a THEOREM that arises from knowing how to add numbers (which for most students is a collection of FACTS).</div><div><br></div><div>Now consider</div><div>   X = 1 + 2 + 3 + 4 + 5 + .... + 99 + 100</div><div>That X == 5050 is a THEOREM based on the FACT of addition, together with a laborious calculation. Once, a grade school teacher gave the calculation of X as work for his student to do.</div><div><br></div><div>To the teacher's surprise, one of the students very soon came up to his desk with the correct answer 5050. This grade school student had discovered for himself the THEOREM, based on the fundamental properties of counting number, that</div><div>    1 + 2 + 3 + ... + (N-1) + N == N (N + 1) / 2</div><div><br></div><div>This student went on to be the greatest pure and mathematician and theoretical physicist of his day.</div><div><a href="https://en.wikipedia.org/wiki/Carl_Friedrich_Gauss#Early_years">https://en.wikipedia.org/wiki/Carl_Friedrich_Gauss#Early_years</a><br></div><div><br></div><div>ASIDE</div><div><br></div><div>Mathematics is a special skill. All of us have our own special skills and experiences, and most of us are not mathematicians. Our community code of conduct encourages collaboration, so that all of our experiences and skill sets can contribute "to the whole of our efforts".</div><div><br></div><div>With good will, we can overcome friction and misunderstanding between the X and non-X communities, for the benefit of all. For all every special skill X. Or in other words, many hands make light work, and many eyes find many more bugs.</div><div><br></div><div>SUMMARY</div><div><br></div><div>I have argued that Python's core design decisions and coding principles can, at least in part, be reduced to a system of AXIOMS that can be useful applied. I have argued mainly based on analogy with the Hindu-Arabic numeral system, and the life and work of Gauss.</div><div><br></div><div><br></div><div><br></div><div> </div><div><br></div><div> </div></div></div></div></div></div>