Media Summary: Daniel Westheide Daniel Westheide is a software engineer living in Berlin, Germany. He is a senior consultant at INNOQ and ... Here's the first episode in a series of collaborations with excellent developers and speakers from the This is a talk I gave to my coworkers on the status of GADTs(including pitfalls, where/how to use it, status with

Subtyping In Scala - Detailed Analysis & Overview

Daniel Westheide Daniel Westheide is a software engineer living in Berlin, Germany. He is a senior consultant at INNOQ and ... Here's the first episode in a series of collaborations with excellent developers and speakers from the This is a talk I gave to my coworkers on the status of GADTs(including pitfalls, where/how to use it, status with In this video, we delve into the fascinating world of union types in

Photo Gallery

Subtyping (in Scala)
Daniel Westheide – The trouble with subtyping: An introduction to typebounds and variance
The trouble with subtyping: An introduction to type bounds and variance – INNOQ Technology Lunch
Introduction to Variance in Scala with Wiem Zine Elabidine - Scala with Friends #1
Guillaume Martres - Polymorphic Function Types in Scala 3 | Scala Days 2023 Seattle
Adding kind-polymorphism to the Scala programming language by Miles Sabin
[Scala'25] Logically Qualified Types for Scala 3
447 subtyping
4.4 Subtyping and Generics
Guillaume Martres - Polymorphic Function Types in Scala 3
[Scala Central] - Richard Ashworth - Functional Design Patterns with Scala
Scala - GADTs - Comparing Scala 2 and Scala 3
View Detailed Profile
Subtyping (in Scala)

Subtyping (in Scala)

This video briefly covers the concept of

Daniel Westheide – The trouble with subtyping: An introduction to typebounds and variance

Daniel Westheide – The trouble with subtyping: An introduction to typebounds and variance

Daniel Westheide Daniel Westheide is a software engineer living in Berlin, Germany. He is a senior consultant at INNOQ and ...

The trouble with subtyping: An introduction to type bounds and variance – INNOQ Technology Lunch

The trouble with subtyping: An introduction to type bounds and variance – INNOQ Technology Lunch

Many people come to

Introduction to Variance in Scala with Wiem Zine Elabidine - Scala with Friends #1

Introduction to Variance in Scala with Wiem Zine Elabidine - Scala with Friends #1

Here's the first episode in a series of collaborations with excellent developers and speakers from the

Guillaume Martres - Polymorphic Function Types in Scala 3 | Scala Days 2023 Seattle

Guillaume Martres - Polymorphic Function Types in Scala 3 | Scala Days 2023 Seattle

Polymorphic Function Types in

Adding kind-polymorphism to the Scala programming language by Miles Sabin

Adding kind-polymorphism to the Scala programming language by Miles Sabin

This video was recorded at

[Scala'25] Logically Qualified Types for Scala 3

[Scala'25] Logically Qualified Types for Scala 3

Logically Qualified Types for

447 subtyping

447 subtyping

... if whenever B is a

4.4 Subtyping and Generics

4.4 Subtyping and Generics

Follow the MOOC at https://www.coursera.org/learn/progfun1.

Guillaume Martres - Polymorphic Function Types in Scala 3

Guillaume Martres - Polymorphic Function Types in Scala 3

Methods in

[Scala Central] - Richard Ashworth - Functional Design Patterns with Scala

[Scala Central] - Richard Ashworth - Functional Design Patterns with Scala

... coming to

Scala - GADTs - Comparing Scala 2 and Scala 3

Scala - GADTs - Comparing Scala 2 and Scala 3

This is a talk I gave to my coworkers on the status of GADTs(including pitfalls, where/how to use it, status with

Understanding Union Types in Scala: Subtyping A|B : A|B|C Explained

Understanding Union Types in Scala: Subtyping A|B : A|B|C Explained

In this video, we delve into the fascinating world of union types in