• @[email protected]OP
    link
    fedilink
    85 months ago

    From what I understand, Ada does not have an equivalent to Rust’s borrow checker. There’s efforts to replicate that for Ada, but it’s not there yet.

    • @[email protected]
      link
      fedilink
      15 months ago

      Thanks for the helpful response. The BC looks like a potentially very useful anti-bugging tool.