<br><br>On Thursday, January 28, 2021, Jacob Lifshay <<a href="mailto:programmerjake@gmail.com">programmerjake@gmail.com</a>> wrote:<br>> <a href="https://hisham.hm/2020/01/20/dynamic-type-systems-arent-even-simpler/">https://hisham.hm/2020/01/20/dynamic-type-systems-arent-even-simpler/</a><br>> Definitely worth reading!<br>> This is one of the main reasons why I prefer Rust or even C++ over Python.<br><br>"this is a X but also a Y under circumstances Z”<br><br>if people are doing that in python they are doing something badly and disastrously wrong and are asking for trouble.<br><br>the language is irrelevant.  it is the attempt to bury specialisation in a base class of the kind "do something different if it's an X not a Y", violating the Liskov Substitution Principle, that is the problem here.<br><br>it has absolutely nothing to do with the language, nor with whether the language has dynamic or static types.<br><br>l.<br><br><br>-- <br>---<br>crowd-funded eco-conscious hardware: <a href="https://www.crowdsupply.com/eoma68" target="_blank">https://www.crowdsupply.com/eoma68</a><br><br>