Hacker News with Generative AI: Linear Types

Austral: A Systems Language with Linear Types and Capabilities (2022) (borretti.me)
Austral is a new systems programming language. You can think of it as Rust: The Good Parts or a modernized, stripped-down Ada. It features a strong static type system, linear types, capability-based security, and strong modularity.

Programming Languages, Systems Programming, Security, Linear Types

155 points by yamrzou 14 days ago | 35 comments

How linear types control the future and prevent bugs [video] (youtube.com)

Programming, Software Engineering, Types, Linear Types, Video

12 points by matt_d 138 days ago | 0 comments

Reference Counting with Linear Types (github.com/alt-romes)

Programming, Software, Computer Science, Linear Types, Reference Counting

53 points by nequo 286 days ago | 6 comments

Higher RAII and the seven arcane uses of linear types (verdagon.dev)

Programming, Software Development, Linear Types, RAII

99 points by agluszak 323 days ago | 46 comments

Higher RAII, and the Seven Arcane Uses of Linear Types (verdagon.dev)

Programming, Software Engineering, Functional Programming, Linear Types

10 points by ingve 324 days ago | 1 comments