|
|
|
|
|
|
by TheDong
3234 days ago
|
|
|
Real type safety is sum types. If I need to express something that is present or missing, I should use a Maybe monad. Having an extra field for "missingness" is less safe because the type system won't enforce that it is either missing or set, you could have it set to a value but marked as missing which is still ambiguous. |
|
|