python

tell me what you know about python, and how to program in it

>>6
Assuming you're not just trolling or trying to force a shitty meme, do you honestly believe that your little pet feature would increase software quality or ease of development so much that it warrants spamming everywhere? If you do, I strongly suggest you 1.start/bump a thread where this shit can be contained and in which you show or explain concrete advantages of dependent types 2.ponder the following
>>>https://en.wikipedia.org/wiki/Tony_Hoare

Ten years ago, researchers into formal methods (and I was the most mistaken among them) predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large and more safety-critical. Programs have now got very large and very critical – well beyond the scale which can be comfortably tackled by formal methods. There have been many problems and failures, but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control. It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve.