• FizzyOrange@programming.dev
    link
    fedilink
    arrow-up
    3
    ·
    1 month ago

    They’re comparing it to Ada so maybe it’s arguable. I’m not too familiar with Ada but I think it does have some type features that Rust doesn’t. Though the example they gave (newtypes) is fairly easy in Rust too, and I’m sure Rust has type features Ada doesn’t too.