Skip to content
Yehonathan Sharvit edited this page Apr 5, 2021 · 2 revisions

Maybe

Definition

Nothing is of type maybe something.

Maybe is a property of the aggregate not of the field.

Example

It makes no sense to say that the type of the social security number of a person is maybe a string.

What makes sense is to say: in this map (that aggregates data about a person), the social security number is maybe a string (it could also be absent from the map).

Even more precise: this function receives as an argument a map where the social security number is maybe a string.

Clone this wiki locally