• BitSound@lemmy.worldOP
    link
    fedilink
    arrow-up
    7
    ·
    5 days 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.

    • jdnewmil@lemmy.ca
      link
      fedilink
      arrow-up
      1
      ·
      3 days ago

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