Dynamic types can be more problematic to modify, but many of us find them easier to read: assume that the code actually worked and does something reasonable, no

Dynamic types can be more problematic to modify, but many of us find them easier to read: assume that the code actually worked and does something reasonable, now skim for the gist of it (without having to see a bunch of extra detail). Assembler is untyped (just bytes and words). I'm not big into Python, but I'm pretty sure it has types, but they are late/runtime bound. Dynamic types are probably not a good choice for an army of idiots, but if dynamic types were so completely unworkable, you would think that they would disappear, eh? That said, I'd rather see avionics written in Ada than Python, but not every problem needs that level of scrutiny and pain.