4 ms·

Until the types don't match the execution model... see: python type hints

• slaymaker1907 4y ago
  I find that is a far less common problem than the documentation being wrong. Even if someone doesn't add documentation for some library, static types provide a lot more insight into how it works than dynamic languages (Racket style contracts are even better since they can check way more than static types while still working in a first class way with docs).
• HL33tibCe7 4y ago
  That isn’t static typing That’s a dynamic typed language with comments
  • OJFord 4y ago
    They can be consumed by static analysis tooling, which assuming properly configured etc. makes it sort of 'dynamically typed language with the guarantees of a statically typed one', at least so far as the hints are complete.
  • semiquaver 4y ago
    Most statically typed languages compile down to object code which runs in one of the most dynamic runtime environments imaginable. What are the types in the source code but “comments”?