Options and nullability

Quick overview: Options

Options are a built-in variant that represent the presence or absence of a value. It is similar to the concept of "nullable" values in other languages. Options are used often.

In Reason there is no "null" value that any type might assume. Instead if a value needs to communicate that it might (or might not) be available, then the option type is used.

정의

The option type is a variant with two constructors:

Some represents the presence of a value and accepts that value as an argument
None represents the absence of a value and acceps no arguments

type option('value) =
  | None
  | Some('value);

Note: This type is already defined and automatically available for use everywhere.

예제

It is common for None to be the default value before something is setup.

type person = {
  name: string,
  age: int,
};

let nobody: option(person) = None;

Logging in can set up the user's data:

let login = () =>
  Some({
    name: "Alice",
    age: 42,
  });

let alice = login();

Now when writing functions that deal with users we must make sure that there is actually a user present:

let happyBirthday = (user) => {
  switch (user) {
  | Some(person) => "생일 축하헤, " ++ person.name
  | None => "로그인부터 해주세요"
  };
};