• @BitSoundOP
    link
    72 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
      12 months ago

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