Required Fields



The required fields proposal is meant to deal with issues around optional and required fields. At the core, the default behavior and operators will be switched.

  • Today, unmarked fields are required for concreteness. They would become optional by default.
  • The ? (optional) specifier will be replaced with ! (required)

The primary rational is that in most cases, most fields are optional. There are many other benefits to the language and evaluator.

See the required fields GitHub issue for more details.

We'll never share your email with anyone else.
2022 Hofstadter, Inc