• tatterdemalion@programming.dev
    link
    fedilink
    arrow-up
    9
    ·
    1 year ago

    Yes if you use type annotations. Languages like Python and Typescript end up resorting to “Any” types a lot of the time, which breaks any kind of theorem proving you might have otherwise benefited from.

    • xmunk@sh.itjust.works
      link
      fedilink
      arrow-up
      6
      arrow-down
      2
      ·
      1 year ago

      I know Java developers that are addicted to Object. Hit them over the head with an ensmarttening stick and reject their PRs.

      • tzrlk@lemmy.world
        link
        fedilink
        arrow-up
        7
        ·
        1 year ago

        Java developers aren’t allowed to not know better by this point. If they think skipping types is somehow ideologically purer, keep hitting with that stick until you hit deckplate.