How Austral’s Linear Type Checker Works
What I cannot create, I do not understand. — Richard Feynman Austral is a new programming language featuring linear types and capability-based security. Linear types give you compile-time memory and resource safety, capability-based security allows you to constrain the kind of side effects a program can do. In my last post, I introduced the language and went over what linear types are, how they wo
Introducing Austral: A Systems Language with Linear Types and Capabilities
Introducing Austral: A Systems Language with Linear Types and Capabilities 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. This article is an introduction to the language. The first few sections are high-level: they
GitHub - austral/austral: Systems language with linear types and capability-based security.
Austral is a new language. Features: Linear types: linear types allow resources to be handled in a provably-safe manner. Memory can be managed safely and without runtime overhead, avoiding double free(), use-after-free errors, and double fetch errors. Other resources like file or database handles can also be handled safely. Capabilities: linear capabilities enable fine-grained permissioned access
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
