Expand description
A value or nothing: what a compiled program keeps in a place the VM can store nothing in.
The VM holds any value in any place. A compiled tier gives each place one type for its whole life, so a place a
program can store nothing in — a binding, an item, a field, a parameter, a result — holds a LogosOpt: the
value the place would hold anyway, or nothing. Reading it where a value is needed stops the program in the
words the VM stops with for that operation on nothing, which the compiler passes in.
Structs§
- Logos
Opt - A value of
T, ornothing.