• xav@programming.dev
    link
    fedilink
    arrow-up
    5
    ·
    10 months ago

    Regardless of the very subject of the post, linear types and do.. final constructs would be a welcomed addition.

    • sugar_in_your_tea@sh.itjust.works
      link
      fedilink
      arrow-up
      3
      ·
      10 months ago

      Agreed, though I’m interested to see a linear types proposal with example syntax. I’m especially curious on how it work with async as well.