bluss/indexing
View on GitHub ↗ ★ 109 Rust
Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2016-01-12 · latest 2023-01-24
20082026
-
…I wish it were more used. [0] https://www.reddit.com/r/rust/comments/3oo0oe/sound_unchecke... [1] https://github.com/bluss/indexing https://docs.rs/indexing/0.4.1/indexing/ https://crates.io/crates/typed-index-collections…
comment by nextaccountic · 2023-01-24 · in The Git source code audit, viewed as a Rust programmer -
…[0] but it is pretty complex inside, requires closures and seems more like an experiment. [0]: https://github.com/bluss/indexing
comment by demurgos · 2020-12-11 · in Monads and GATs in Nightly Rust -
…tracks a relation between indices and originating array via lifetime, but it is complicated. [1] https://github.com/bluss/indexing
comment by lifthrasiir · 2019-11-10 · in Making Wrong Code Look Wrong (2005) -
…to go there (...yet...) justifies calling its current approach a non-zero-overhead abstraction. [1] https://github.com/bluss/indexing
comment by comex · 2019-09-12 · in Why is Rust slightly slower than C? -
…a system of proven indices that would be extremely unfriendly to newcomers, see this project: https://github.com/bluss/indexing
comment by kzrdude · 2016-01-12 · in Two Weeks of Rust