• colonial@lemmy.world
    link
    fedilink
    arrow-up
    2
    ·
    1 year ago

    I never said that static typing stops all logic errors or fully proves program correctness, but go off I guess…