| layout | developer-doc | ||
|---|---|---|---|
| title | Bindings | ||
| category | semantics | ||
| tags |
|
||
| order | 1 |
A "binding" is a portion of and Enso program that creates a new name and binds a value to that name.
While some expression-based languages with bindings have the binding return the value assigned to the binding, we feel that this is far too error prone. Consider the following code as a demonstration:
if x = someExprEvaluatingToBool then foo else barThis is the perennially-discussed C++ bug where you fail to type == in an
if-statement.
Enso, instead, takes the approach where a binding expression returns the
singleton value of the type Nothing, making the above-written code a type
error.