snaggen to Rust · 9 months agoAsynchronous clean-upwithout.boatsexternal-linkmessage-square2fedilinkarrow-up127arrow-down10
arrow-up127arrow-down1external-linkAsynchronous clean-upwithout.boatssnaggen to Rust · 9 months agomessage-square2fedilink
minus-squarexavlinkfedilinkarrow-up5·9 months agoRegardless of the very subject of the post, linear types and do.. final constructs would be a welcomed addition.
minus-squaresugar_in_your_tea@sh.itjust.workslinkfedilinkarrow-up3·9 months agoAgreed, 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.
Regardless of the very subject of the post, linear types and
do.. final
constructs would be a welcomed addition.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.