W1037 Expressions and Operators

Within these castle walls be forged Mavens of Computer Science ...

— Merlin, The Coder

	Coming Soon
	Expressions

The expression of the emotions in man and animals (1872)

Prerequisites

• W1031 Positive Integers
• W1032 Negative Integers
• W1033 Character Encoding
• W1038 L-Values and R-Values

Introduction

An expression is a finite series of symbols that is well-formed according to agreed upon rules. The symbols may include constants, variables, operators, and brackets. A valid expression will yield a value of a specific type according to the rules of the language.

Type Inference

All expressions, when evaluated, yield a particular type. For example, in the expression:

let x = 3

x will be of type Int, which is an integer whose size depends on the size of the underlying platform. (On 32-bit platforms, Int will be equivalent to Int32, and on 64-bit platforms, Int will be equivalent to Int64.) On the other hand, in the expression:

let y = 3.0

y will be of type Double, which is a double-precision, floating-point type. Because Swift is a type-safe language, all expressions will always have a specific type. Type-safety enables the compiler to warn us when we make a mistake, such as by using an Int when we intended a Double. Like many other type-safe languages, we're able to explicitly specify the type of a constant of variable:

let x : Int = 3

We're able to use explicit typing to ensure that we're evaluating the expression as the desired type as in the example above. However, in most cases, Swift allows us to be more brief, and rely on type inference. Type inference will rely on the literal value(s) or named value(s) to determine the type. Let's look at a few examples:

let maximumClassCount = 8
// maximumClassCount will be of type Int

let maximumGPA = 5.0
// maximumGPA will be of type Double

References

• Expressions (Wikipedia.org)
• Expressions (Swift.org)