Functional Ownership Through Fractional Uniqueness

1. granule

   1 4 610 4.2 Haskell

   A statically-typed linear functional language with graded modal types for fine-grained program reasoning

   

   > Abstract: [...] Recent work demonstrates that linear and uniqueness types can be combined in a single system to offer restrictions on program behaviour and guarantees about memory usage. We develop this connection further, showing that just as graded type systems like those of Granule and Idris generalise linearity, Rust's ownership model arises as a graded generalisation of uniqueness. We combine fractional permissions with grading to give the first account of ownership and borrowing that smoothly integrates into a standard type system alongside linearity and graded types, and extend Granule accordingly with these ideas.

   granule-project/granule https://github.com/granule-project/granule :

   > A statically-typed linear functional language with graded modal types for fine-grained program reasoning

2. InfluxDB

   influxdata.com featured

   InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

   

3. swift-evolution

   2 138 15,550 9.7 Markdown

   This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

   

   Swift recently adopted a region-based approach for safe concurrency that builds on Milano et al’s ideas: https://github.com/apple/swift-evolution/blob/main/proposals...

Suggest a related project