Today we outline the course and its goals, including referential transparency and parallelism. We start to explore the language SML by looking at its basic types.
We also introduce declarations, which give rise to environments. An environment collects a set of bindings of values to variables which can be used in subsequent declarations or expressions. We also discuss the rules of scope which explain how references to identifiers are resolved.