• itslilith@lemmy.blahaj.zone
    link
    fedilink
    arrow-up
    4
    ·
    11 months ago

    Most languages that let you do ambiguous return types don’t do compile-time type checking, and vice versa. But if it’s actually implemented that way, then it’s logically equivalent, you’re right. Still, I prefer having things explicit