shiandow 21 hours ago

Even without a rich type system you can express a lot of things just through naming.

You just can't enforce those assumptions.

Reply View 2 replies
  • eyelidlessness 9 hours ago

    You can enforce them (statically) by other means if you’re determined enough, eg by using lint rules which enforce type-like semantics which the type system itself doesn’t express.

    Reply View 1 reply
    • treyd 8 hours ago

      This does rely on the language having a sophisticated-enough type system to be able to extract enough type information for the rules to work in the first place.

      Reply View 0 replies