Making aliasing safe again: An exploratory comparison of linear types and deny-capabilities.

Chris Hall
University of New South Wales

Abstract:
    Rust is a systems programming language which aims to combine performance with runtime safety.
    Rust features an affine type system utilising a combination of uniqueness, immutability, and borrowing.
    Pony is an object-oriented, actor-model, capabilities-secure, high-performance programming language.
    Pony features a type system based around thread-aware "deny capabilities" which are able to reason about uniqueness.
    Both languages attempt to address the limitations of previous imperative programming languages, but they do so via very different approaches.
    Join me as I highlight some of the key features used by each approach,
    including a discussion on limitations of affine/linear type systems and the tools offered by Rust to help address these.