• @Feathercrown
    link
    English
    51 year ago

    Isn’t that also true with compile-time type checking though? Eg. 0 + x where x is int|null would be detected? I don’t have much experience here so I could be wrong but I can’t think of a case where they’re not equivalent

    • @[email protected]
      link
      fedilink
      41 year 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

      • @Feathercrown
        link
        English
        11 year ago

        Yeah it’s nice to be able to see it