io7m
io7m-jparasol
0.11.3
4.5. Boolean literal
4. Expressions
4.7. Function application
Previous
Up
Next
4.6
Variable
4.6.1
Description
1
A
variable
expression is a simple reference to a variable in the current environment.
4.6.2
Type rules
1
For
variable
expressions, if a variable
x
is of type
t
in the current environment, then the result of evaluating the variable has type
t
:
4.6.2.1. Variable type rule (variable)
4.6.3
Operational semantics
1
Variables are replaced with their values during the evaluation of
functions
,
let
expressions, and top-level
value
declarations.
Previous
Up
Next
4.5. Boolean literal
4. Expressions
4.7. Function application