Linear Types One-Pager

• rio

  7 894 0.0 Rust

  pure rust io_uring library, built on libc, thread & async friendly, misuse resistant (by spacejam)

In my previous post on linear types I spent quite a bit of time motivating linear types. For example the ergonomic rio io_uring library could be made sound if it could guarantee destructors are run. Or performing FFI with async C++ could be made more efficient if it could rely directly on destructors rather than having to involve an intermediate runtime for each call.

• rfcs

  666 5,711 9.8 Markdown

  RFCs for changes to Rust

  

A simpler version would have been to make Leak an auto trait, instead of a ?trait. The lang team decided against doing this in 2015. This is now not possible because it would be a breaking change to add the Leak bound to Rc and Arc's constructors.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project