Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
pcwalton
on March 18, 2014
|
parent
|
context
|
favorite
| on:
Announcing the new Rust package manager, Cargo
We do know what those two things will look like. The design is fairly ironed out at the moment, just not fully implemented. For vectors (dynamically-sized types), there's even a PLT Redex model to verify that the design holds together…
carterschonwald
on March 18, 2014
[–]
ooo, wheres this vector model?
kibwen
on March 18, 2014
|
parent
[–]
This is the only one that I know of, not sure if it's the one pcwalton was referring to:
https://github.com/nikomatsakis/rust-redex
dbaupp
on March 18, 2014
|
root
|
parent
|
next
[–]
https://github.com/anasazi/rust-redex
is more recent and is actively being worked on (by ecr on IRC).
bjz_
on March 18, 2014
|
root
|
parent
|
prev
[–]
Awesome! Will have to delve into this later... a formal proof is going to be super important for Rust.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
