[Libre-soc-misc] dynamic vs. static type systems

[Luke Kenneth Casson Leighton]

On Thursday, January 28, 2021, Jacob Lifshay <programmerjake at gmail.com>
wrote:
> https://hisham.hm/2020/01/20/dynamic-type-systems-arent-even-simpler/
> Definitely worth reading!
> This is one of the main reasons why I prefer Rust or even C++ over Python.

"this is a X but also a Y under circumstances Z”

if people are doing that in python they are doing something badly and
disastrously wrong and are asking for trouble.

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.

it has absolutely nothing to do with the language, nor with whether the
language has dynamic or static types.

l.


-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.libre-soc.org/pipermail/libre-soc-misc/attachments/20210128/7ed8d5ee/attachment.html>