Feathercrown comments on know the features of your language

[–] Feathercrown@lemmy.world 4 points 2 years ago (5 children)

Isn't a Maybe enum equivalent to just using a return value of, for example, int | null with type warnings?

parent

[–] itslilith@lemmy.blahaj.zone 2 points 2 years ago (4 children)

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

permalink

fedilink

source

parent

hideshow 4 child comments

[–] Feathercrown@lemmy.world 5 points 2 years ago (3 children)

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

permalink

fedilink

source

parent

hideshow 3 child comments

[–] itslilith@lemmy.blahaj.zone 4 points 2 years ago (1 child)

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

permalink

fedilink

source

parent

hideshow 1 child comment

[–] Feathercrown@lemmy.world 1 point 2 years ago

Yeah it's nice to be able to see it

permalink

fedilink

source

parent

[–] kogasa@programming.dev 3 points 2 years ago

Yes it is

permalink

fedilink

source

parent