• @colonial
    link
    21 year ago

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