• Anahkiasen@lemmy.blahaj.zone
      link
      fedilink
      English
      arrow-up
      6
      ·
      2 年前

      Doesn’t Python 3 have types? I’ve seen a few well typed codebases and it really made the code much easier to understand. Or is it just that it’s not checking them strongly enough?

      • kaesaecracker@leminal.space
        link
        fedilink
        English
        arrow-up
        5
        ·
        2 年前

        The type annotations are just fancy comments. They do not do anything at runtime. If you have a function that takes an int someone can still pass in a list or anything else.

        • Anahkiasen@lemmy.blahaj.zone
          link
          fedilink
          arrow-up
          2
          ·
          2 年前

          But will it run? I’m used to typescript where it’s not checked at runtime but you can’t “build” unsafe types I’d assume it’s the same here

          • AVincentInSpace@pawb.social
            link
            fedilink
            arrow-up
            1
            ·
            2 年前

            no they really are just fancy comments. You can do runtime reflection on them if you wanna make something fancy like a plugin system but that’s about it

    • boletus@sh.itjust.works
      link
      fedilink
      arrow-up
      4
      ·
      2 年前

      I think python is good as it is for what it can do, mostly because I have no reason to use it.

      What we need is lua with types!

      • Shush@reddthat.com
        link
        fedilink
        arrow-up
        4
        arrow-down
        1
        ·
        2 年前

        Have you heard of Typescript-to-lua? I used to do Dota modding (which is in lua) with TSTL and it works great!

        You write TS code (using Typescript syntax that includes types) and it is compiled into lua.

        Wonder if that could be an alternative that can work for you.

        • boletus@sh.itjust.works
          link
          fedilink
          arrow-up
          2
          ·
          2 年前

          That sounds pretty neat thank you. At some point lua had an official typed extension that is no longer maintained unfortunately. Hopefully there’s a stable fork one day.

          • Shush@reddthat.com
            link
            fedilink
            arrow-up
            1
            ·
            2 年前

            Oh yeah, I heard it was poorly recieved. The syntax wasn’t great and generally the support sucked. AFAIK there is no progress on types for lua.