indexing

“Sound unchecked indexing” in Rust using “generativity” (branding by unique lifetime parameter).

Extremely experimental, but somewhat promising & exciting.

Main focus is on index ranges, not just single indices.

|buildstatus| |crates|_

.. |buildstatus| image:: https://travis-ci.org/bluss/indexing.svg?branch=master .. _buildstatus: https://travis-ci.org/bluss/indexing

.. |crates| image:: http://meritbadge.herokuapp.com/indexing .. _crates: https://crates.io/crates/indexing

Recent Changes

• 0.1.0

  • Add some docs and tests
  • Fix Range::joincoverboth to use ProofAdd

• 0.1.0-alpha3

  • Add IndexingError and use it for all Results.

• 0.1.0-alpha2

  • Add ProofAdd and use it in Range::join, Range::join_cover
  • Make Index<'id>, Range<'id> Send + Sync

• 0.1.0-alpha1

  • First release

References

• Inspired by Gankro’s exposition of sound unchecked indexing__.

_ https://www.reddit.com/r/rust/comments/3oo0oe/sounduncheckedindexingwithlifetimebasedvalue/

Also now described in: You can't spell trust without Rust <https://raw.githubusercontent.com/Gankro/thesis/master/thesis.pdf>_. Chapter 6.3 hacking generativity onto rust. Gankro's master's thesis.

License

Dual-licensed to be compatible with the Rust project.

Licensed under the Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0 or the MIT license http://opensource.org/licenses/MIT, at your option. This file may not be copied, modified, or distributed except according to those terms.