• merc@sh.itjust.works
        link
        fedilink
        arrow-up
        3
        ·
        10 months ago

        whether or not a compiler can understand a type at compile time

        In many / most(?) compiled languages that’s because the type is specified at compile time. With interpreted languages that’s often not the case, and in that case determining the type can be extremely hard.