你即將離開本站

並前往https://arxiv.org/pdf/1903.00982

Oxide: The Essence of Rust - arXiv

Significantly, Oxide is the first type system for core Rust that provides a tested semantics and ... can be mutated through the method Cell::set.

確定！ 回上一頁

查詢 「Rust core cell」的人也找了：

  1. rust cell
    2.
  2. rust cell ref
    3.
  3. rust cell::refcell
    4.
  4. rust core unsafecell
    5.
  5. rust refcell
    6.
  6. rust core mem
    7.
  7. rust core box
    8.
  8. rust core vs std
    9.