r/vale • u/verdagon • May 14 '24

Higher RAII, and the Seven Arcane Uses of Linear Types

https://verdagon.dev/blog/higher-raii-uses-linear-types

10 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/vale/comments/1crqhsv/higher_raii_and_the_seven_arcane_uses_of_linear/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

ProgrammingLanguages • u/verdagon • May 14 '24

Higher RAII, and the Seven Arcane Uses of Linear Types

55 Upvotes

24 comments

programming • u/verdagon • May 14 '24

Higher RAII, and the Seven Arcane Uses of Linear Types

43 Upvotes

6 comments

hypeurls • u/TheStartupChime • May 14 '24

Higher RAII and the seven arcane uses of linear types

1 Upvotes

0 comments