• Anahkiasen@lemmy.blahaj.zone
      link
      fedilink
      English
      arrow-up
      6
      ·
      1 year ago

      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
        ·
        1 year ago

        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
          ·
          edit-2
          1 year ago

          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
            ·
            edit-2
            1 year ago

            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
      ·
      1 year ago

      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
        ·
        1 year ago

        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
          ·
          1 year ago

          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
            ·
            1 year ago

            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.