• 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.