Type inference by the compiler in Swift - Mini Project: Build & Apply

Type inference by the compiler

📖 Scenario: Imagine you are creating a simple Swift program to store information about a fruit basket. You want to use the compiler's ability to guess the type of your variables automatically, so you don't have to write the type explicitly.

🎯 Goal: Build a Swift program that uses type inference to create variables for fruit names and quantities, then prints them.

📋 What You'll Learn

Create variables using type inference with exact names and values

Add a constant to hold the total number of fruits

Use a for loop to print each fruit and its quantity

Print the total number of fruits at the end

💡 Why This Matters

🌍 Real World

Type inference helps programmers write cleaner and shorter code by letting the compiler figure out data types automatically.

💼 Career

Understanding type inference is important for Swift developers to write efficient and readable code, especially in app development.

1

Create variables with type inference

Create three variables called appleCount, bananaCount, and orangeCount with values 5, 3, and 7 respectively. Do not specify their types explicitly.

Swift

# Create variables appleCount, bananaCount, and orangeCount with values 5, 3, and 7
# Your code here

Hint

Just write var appleCount = 5 and similarly for the others. Swift will guess the type as Int.

2

Add a constant for total fruits

Create a constant called totalFruits that adds appleCount, bananaCount, and orangeCount. Use type inference and do not specify the type explicitly.

Swift

var appleCount = 5
var bananaCount = 3
var orangeCount = 7
# Create a constant totalFruits that sums appleCount, bananaCount, and orangeCount
# Your code here

Hint

Use let totalFruits = appleCount + bananaCount + orangeCount to create the constant.

3

Use a for loop to print each fruit and quantity

Create a dictionary called fruitBasket with keys "Apple", "Banana", and "Orange" and their respective counts from appleCount, bananaCount, and orangeCount. Then use a for loop with variables fruit and count to iterate over fruitBasket and print each fruit and its count using print("\(fruit): \(count)").

Swift

var appleCount = 5
var bananaCount = 3
var orangeCount = 7
let totalFruits = appleCount + bananaCount + orangeCount
# Create fruitBasket dictionary and use for loop to print fruit and count
# Your code here

Hint

Use a dictionary literal and a for loop with tuple unpacking to print each fruit and count.

4

Print the total number of fruits

Write a print statement to display the text Total fruits: followed by the value of totalFruits using string interpolation.

Swift

var appleCount = 5
var bananaCount = 3
var orangeCount = 7
let totalFruits = appleCount + bananaCount + orangeCount

let fruitBasket = ["Apple": appleCount, "Banana": bananaCount, "Orange": orangeCount]

for (fruit, count) in fruitBasket {
    print("\(fruit): \(count)")
}
# Print the total number of fruits
# Your code here

Hint

Use print("Total fruits: \(totalFruits)") to show the total count.

Practice

1. What does type inference mean in Swift?

easy

A. The program runs slower because types are guessed.

B. You must always write the type explicitly.

C. The compiler automatically figures out the variable's type.

D. You cannot use variables without specifying types.

Solution

1. Step 1: Understand type inference concept

   Type inference means the compiler guesses the type of a variable based on the value assigned.

2. Step 2: Compare options with definition

   Only The compiler automatically figures out the variable's type. correctly describes automatic type detection by the compiler.

3. Final Answer:

   The compiler automatically figures out the variable's type. -> Option C

4. Quick Check:

   Type inference = automatic type detection [OK]

Hint: Type inference means compiler guesses type automatically [OK]

Common Mistakes:

• Thinking you must always write types explicitly
• Believing type inference slows down the program
• Confusing type inference with dynamic typing

2. Which of the following Swift variable declarations uses type inference correctly?

easy

A. let number = 10

B. let number: = 10

C. let number Int = 10

D. let number : Int 10

Solution

1. Step 1: Check syntax for variable declaration with type inference

   Type inference allows omitting the type, so let number = 10 is correct.

2. Step 2: Identify syntax errors in other options

   Options B, C, and D have syntax errors: missing type name, wrong order, or missing assignment operator.

3. Final Answer:

   let number = 10 -> Option A

4. Quick Check:

   Correct syntax with inference = let number = 10 [OK]

Hint: Look for correct Swift syntax without explicit type [OK]

Common Mistakes:

• Adding colon without type name
• Writing type before variable name incorrectly
• Omitting assignment operator

3. What is the type of variable value in this Swift code?

let value = 3.14

medium

A. Double

B. Int

C. String

D. Float

Solution

1. Step 1: Identify the literal type assigned

   The number 3.14 is a decimal number, which Swift treats as Double by default.

2. Step 2: Confirm Swift default for floating-point literals

   Swift infers floating-point literals as Double unless specified otherwise.

3. Final Answer:

   Double -> Option A

4. Quick Check:

   3.14 literal = Double type [OK]

Hint: Decimal numbers default to Double in Swift [OK]

Common Mistakes:

• Assuming 3.14 is Float by default
• Confusing Int with floating-point types
• Thinking literals default to String

4. Identify the error in this Swift code snippet:

var name = "Alice"
name = 42

medium

A. No error, type inference allows changing type.

B. Error: Cannot assign Int to a variable inferred as String.

C. Error: Missing semicolon after first line.

D. Error: Variable must be declared with explicit type.

Solution

1. Step 1: Check initial type inferred for variable

   Variable name is assigned a String "Alice", so compiler infers type String.

2. Step 2: Analyze reassignment with different type

   Assigning an Int (42) to a String variable causes a type mismatch error.

3. Final Answer:

   Error: Cannot assign Int to a variable inferred as String. -> Option B

4. Quick Check:

   Type mismatch on reassignment = Error [OK]

Hint: Variable type fixed by first assignment, cannot change later [OK]

Common Mistakes:

• Thinking type inference allows changing variable type
• Assuming semicolons are required in Swift
• Believing explicit type declaration is always needed

5. Given this Swift code, what is the type of result?

let numbers = [1, 2, 3]
let result = numbers.map { $0 * 2 }

hard

A. Array<Any>

B. Int

C. [Double]

D. [Int]

Solution

1. Step 1: Understand the type of numbers

   Array numbers contains Int values, so its type is [Int].

2. Step 2: Analyze the map operation and type inference

   The map multiplies each Int by 2, producing another Int for each element, so the result is an array of Ints.

3. Step 3: Confirm inferred type of result

   Since map returns an array of transformed elements, result is inferred as [Int].

4. Final Answer:

   [Int] -> Option D

5. Quick Check:

   map on [Int] with Int output = [Int] [OK]

Hint: map returns array of same type as transformed elements [OK]

Common Mistakes:

• Thinking map returns a single Int
• Assuming map changes type to Double automatically
• Believing result is Array<Any> without type inference