• @itslilith@lemmy.blahaj.zone
      link
      fedilink
      22 years ago

      Not quite, because the Maybe enum is neither int nor null, but it’s own, third thing. So before you can do any operations with the return value, you need to handle both cases that could occur

      • @Feathercrown@lemmy.world
        link
        fedilink
        English
        52 years 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