Scala Unified Types

Learning objective: Understand Scala's type hierarchy, distinguish value and reference types, and learn the purpose of Any, Nothing, and Null.

1. What Are Unified Types?

In Scala, every value has a type, including numbers, strings, objects, and functions.

Scala organizes these types into a common hierarchy.

Remember: Any is the common supertype of all Scala types. AnyVal represents value types, while AnyRef represents reference types.

2. Understanding Any

Any is the top type in Scala's type hierarchy.

It allows you to store values of different types in a single collection.

val values: List[Any] = List(  "Scala",  100,  25.5,  true)values.foreach(println)

Output:

Scala10025.5true

Key takeaway: Use Any when values of different types must share a common type. Prefer more specific types when possible.

3. Understanding AnyVal

AnyVal is the parent type of Scala's built-in value types.

Common examples include:

Other built-in value types are Byte and Short.

Example:

val age: Int = 30val active: Boolean = trueprintln(age)println(active)

Remember: Unit is similar to void in Java. Its single value is written ().

4. Understanding AnyRef

AnyRef is the parent type of reference types, including strings, collections, and user-defined classes.

class Developer(val name: String)val developer = new Developer("Deepak")val technology = "Scala"println(developer.name)println(technology)

Output:

DeepakScala

Remember: In Scala on the JVM, AnyRef corresponds to java.lang.Object.

5. Understanding Type Conversion

Type conversion changes a value from one type to another.

For supported numeric conversions, Scala provides methods such as .toInt, .toLong, and .toFloat.

val number: Int = 100val decimal: Double = number.toDoubleprintln(decimal)

Output:

100.0

Conversions can lose information.

val original: Long = 987654321Lval converted: Float = original.toFloatprintln(converted)

A Float cannot represent every integer exactly, so precision may be lost.

Important: Converting a value to another type is not always reversible without losing information.

6. Understanding Nothing

Nothing is the bottom type in Scala's type hierarchy. It has no values, and it is a subtype of every type.

A common use is representing an expression that does not complete normally, such as throwing an exception.

def fail(message: String): Nothing =  throw new RuntimeException(message)

Because fail never returns normally, its return type is Nothing.

Remember: You generally won't declare ordinary variables of type Nothing. You will encounter it in exception handling and type inference.

7. Understanding Null

Null represents the null reference and is primarily relevant when interoperating with Java or other JVM libraries.

val name: String = null

This assignment is permitted under standard Scala 2 typing rules and Scala 3's default nullability mode.

However, accessing methods on a null reference can cause a NullPointerException.

Best practice: Avoid using null in normal Scala application code. Use safer alternatives such as Option[String] when a value may be absent.

val name: Option[String] = None

None represents the absence of a value without requiring a null reference.

8. Quick Knowledge Check

Question 1: Which type is the common supertype of all Scala types?

• A. AnyVal

• B. AnyRef

• C. Any

Answer: C — Any

Question 2: Which type is commonly used for integers?

• A. Int

• B. String

• C. Boolean

Answer: A — Int

Question 3: What does Nothing represent?

• A. An empty string

• B. A type with no values that is a subtype of every type

• C. The same thing as Unit

Answer: B

Question 4: Which is the safer approach when a string value may be absent?

• A. Always use null

• B. Use Option[String]

• C. Use AnyRef

Answer: B — Option[String]

Key Takeaways

• Any is the top type in Scala's type hierarchy.

• AnyVal represents built-in value types.

• AnyRef represents reference types.

• Type conversions may lose information.

• Unit represents the absence of a meaningful return value.

• Nothing has no values and is a subtype of every type.

• Null represents a null reference; prefer safer alternatives such as Option.