• John@mastodon.social
    link
    fedilink
    arrow-up
    1
    ·
    7 months ago

    @Windex007
    > You as the writer, you don’t know either?
    Not until the compiler tells me.

    > Or is the argument that nobody but the compiler and god need know? That having an awareness of the types has no value?
    No, I want to know, because knowing the types has value. If the compiler has inference, it can tell me, if not, it can’t.