• boletus@sh.itjust.works
    link
    fedilink
    arrow-up
    1
    ·
    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.