• baseless_discourse@mander.xyz
    link
    fedilink
    arrow-up
    3
    arrow-down
    2
    ·
    1 year ago

    I think one of the main reason to use floor/ceilling is to predictably cast a double into int. This type signature kind of defeats this important purpose.

    I don’t know this historical context of java, but possibly at that time, people see type more of a burden than a way to garentee correctness? (which is kind of still the case for many programmers, unfortunately.