Scala Advanced, Part 1 - The Scala Type System

Name: Scala Advanced, Part 1 - The Scala Type System
Rating: 4.7 (403 reviews)

Mutable State, Scala Type System In-Depth, Implicits

Created byDick Wall

Last updated 3/2023

English

What you'll learn

Use the full Scala type system to correctly implement general purpose re-usable libraries and APIs for other Scala developers to use easily.

Course content

7 sections • 134 lectures • 5h 19m total length

Introduction0:20
Agenda1:39
Setting up the Java JDK1:26
Set up the Java JDK by ensuring Java 8 or 9 is installed, verify with the Java compiler, and use Oracle Technical Network downloads or Linux PPA if needed.
Setting up Scala1:22
Setting up SBT1:31
Setting up IntelliJ IDEA Community Edition1:20
Checking the IntelliJ JDK Settings1:58
Download the Course Materials0:04
Unpack and Import the Course Materials6:28
Please download the zip file attached to this lecture, then follow the video to unpack it and import it into IntelliJ IDEA

Module 2 - 010:35
Module 2 - 021:16
Module 2 - 031:15
Module 2 - 041:23
Module 2 - 052:48
Module 2 - 063:12
Module 2 - 071:10
Module 2 - 084:07
Module 2 - 093:12
This lecture explains invariance in generic types and introduces covariance with a food bowl example, showing how plus F makes a fruit bowl usable as a food bowl.
Module 2 - 101:06
Module 2 - 114:01
Module 2 - 121:16
Module 2 - 131:52
Module 2 - 142:22
Module 2 - 153:03
Module 2 - 163:15
Module 2 - 172:34
Module 2 - 181:53
Module 2 - 193:58
Module 2 - 203:00
Module 2 - 211:34
Module 2 - 221:31
Module 2 - 232:20
Module 2 - 244:35
Module 2 - 254:19
Module 2 - 265:27
Module 2 - 273:14
Generics, Variance and Bounds

Module 3 - 010:47
Module 3 - 020:34
Module 3 - 030:46
Module 3 - 041:19
Module 3 - 052:32
Module 3 - 064:11
Explore how types can be members of a class, using abstract types, upper bounds, and a type projection to define and access internal and external types like food and apple.
Module 3 - 070:14
Module 3 - 082:20
Module 3 - 091:45
Module 3 - 104:06
Module 3 - 110:43
Module 3 - 123:37
Module 3 - 132:02
Module 3 - 141:04
Module 3 - 152:14
Module 3 - 162:32
Module 3 - 171:06
Module 3 - 182:34
Module 3 - 193:06
Module 3 - 201:28
Type Members and Recursive Types

Module 4 - 010:35
Module 4 - 021:35
Module 4 - 032:40
Module 4 - 043:13
Module 4 - 051:55
Module 4 - 064:04
Module 4 - 071:27
Module 4 - 085:18
Module 4 - 092:18
Module 4 - 102:15
Module 4 - 112:10
Module 4 - 122:29
Module 4 - 131:21
Module 4 - 141:28
Module 4 - 153:18
Explains infix type notation for two-parameter types in Scala, showing the equivalence between infix and square-bracket forms and how parentheses affect scope.
Module 4 - 163:24
Module 4 - 171:14
Module 4 - 181:46
Existential, Structural, Refinement, Self and Infix types

Module 5 - 011:08
Module 5 - 021:37
Module 5 - 034:25
Explore the Scala type system's implicit instances and type classes, then a simple retry pattern using nonfatal, by-name bindings and an explicit retry type.
Module 5 - 043:20
Module 5 - 055:01
Register and use implicit parameters in Scala by marking values as implicit, enabling compiler lookup by type for features like retry parameters and execution context in futures.
Module 5 - 062:17
Module 5 - 072:55
Module 5 - 082:38
Module 5 - 095:24
Module 5 - 104:52
Module 5 - 111:56
Module 5 - 121:32
Module 5 - 133:37
Module 5 - 141:50
Module 5 - 153:08
Module 5 - 162:53
Implement a json writer type class in Scala by adding an implicit string writer that quotes strings via interpolation, then extend with a double writer using toString without quotes.
Module 5 - 175:07
Learn to derive a JSON writer for lists of any type using implicit type classes and context bounds, reducing boilerplate and enabling seamless composition when the items have a writer.
Module 5 - 182:46
Module 5 - 191:31
Module 5 - 201:54
Module 5 - 216:23
Module 5 - 223:08
Module 5 - 235:44
Implicit Parameters and Type Classes

Requirements

A day-to-day working knowledge of the Scala language equivalent to completing Escalate Software's Scala Applied course is recommended before starting on the advanced course
You will need to set up your laptop with Scala, SBT and IntelliJ IDEA with Scala support by following the setup instructions
Experience with other statically typed languages (e.g. Java or C#) will be helpful but not required.

Description

Scala Advanced, Part 1

The Escalate Software Scala Advanced course is intended for experienced Scala developers looking to improve their skills, particularly for library and API design and development. It covers topics needed to be effective in producing high quality, correct, powerful and flexible Scala libraries that are still easy to use by others.

Part 1 provides in depth and thorough knowledge of the Scala type system, an important precursor to any library development. We start off with a look at the dangers, and safe use, of mutable shared state in Scala, covering properties and caching. From there we delve into the Scala type system including:

Generics
Co- and Contra-Variance
Upper and Lower Bounds
Type Inference
Type Parameters and Type Members
Path Dependent Types
Refinement Types
Structural Types
Recursive Types
F-bounded Polymorphism

The final two modules then move on to the secondary Implicits type system that augments the regular Scala type system, covering:

Simple Implicit Parameters
Type Classes
Implicit classes, objects and methods
Type Class Composition
Implicit Constraints
=:= and <:<
Implicit Class and Type Tags
Implicit Conversions
extends AnyVal

And more.

After completing this course you will understand the Scala type system in a way that lets you construct your own well designed APIs, reason about type abstraction and calculus, apply implicit constraints and augment the language rules, and much more.

Parts 2 and 3 (available separately) cover topics like best practices, idioms, patterns, advanced functional programming, asynchronous programming, parser-combinators, macros, performance profiling and optimization, and much more. These parts rely on information presented during this advanced part 1 course.

Who this course is for:

Scala library and API developers, or Scala developers looking to improve their knowledge and skills

Scala Advanced, Part 1 - The Scala Type System

What you'll learn

Explore related topics

Course content

Introduction9 lectures • 16min

Module 1 - Properties and State17 lectures • 31min

Module 2 - Scala Type System Part 127 lectures • 1hr 10min

Module 3 - Scala Type System, Part 220 lectures • 39min

Module 4 - Scala Type System, Part 318 lectures • 43min

Module 5 - Implicits, Part 123 lectures • 1hr 15min

Module 6 - Implicits, Part 220 lectures • 46min

Requirements

Description

Who this course is for: