filmov
tv
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 Scala community.
My first guest is Wiem Zine Elabidine - a backend Scala developer, open source contributor and fellow conference speaker.
In this video, she tells me and you what variance is, what we can do with it, and how the ZIO library uses variance to power type inference in its most common operations.
You can follow Wiem on social media:
If you liked the video, please like and subscribe!
Table of contents:
0:00 - Introduction, welcoming Wiem
0:40 - Subtyping
3:10 - Nothing, Any
4:28 - Case study: common type for generic parameter
5:57 - Upper type bounds
6:39 - Lower type bounds
8:20 - Variance basics
10:28 - Variance as a means to preserve subtyping
11:36 - Making Box contravariant
12:17 - Dual variance of Function1
14:10 - Inverting the variance with type bounds
18:10 - Inverting the variance of a contravariant type
18:48 - How variance composes
20:13 - Variance in ZIO
23:49 - Type bounds in ZIO methods
25:47 - How variance helps us avoid mistakes in design
26:21 - Summary, parting words
Useful links:
Scala documentation:
Other posts:
My first guest is Wiem Zine Elabidine - a backend Scala developer, open source contributor and fellow conference speaker.
In this video, she tells me and you what variance is, what we can do with it, and how the ZIO library uses variance to power type inference in its most common operations.
You can follow Wiem on social media:
If you liked the video, please like and subscribe!
Table of contents:
0:00 - Introduction, welcoming Wiem
0:40 - Subtyping
3:10 - Nothing, Any
4:28 - Case study: common type for generic parameter
5:57 - Upper type bounds
6:39 - Lower type bounds
8:20 - Variance basics
10:28 - Variance as a means to preserve subtyping
11:36 - Making Box contravariant
12:17 - Dual variance of Function1
14:10 - Inverting the variance with type bounds
18:10 - Inverting the variance of a contravariant type
18:48 - How variance composes
20:13 - Variance in ZIO
23:49 - Type bounds in ZIO methods
25:47 - How variance helps us avoid mistakes in design
26:21 - Summary, parting words
Useful links:
Scala documentation:
Other posts:
0:27:17
Introduction to Variance in Scala with Wiem Zine Elabidine - Scala with Friends #1
0:07:41
Variance in Scala
0:21:34
4.5 Variance
0:31:58
Variance Positions in Scala, Demystified | Rock the JVM
0:42:50
Understanding Scala Variances
0:03:28
Scala in 100 Seconds
0:16:24
Contravariance in Scala: Why Is It So Hard? | Rock the JVM
0:05:46
Co- and contravariance in Scala with Kamil Korzekwa
0:26:38
Stephen Compall: The Missing Diamond of Scala Variance - λC 2016
1:11:00
Homegrown #Scala Collections - Part 10 - Variance - OO & FP Collision
0:09:56
Co- and contravariance in Scala with Kamil Korzekwa - attempt 2
0:03:28
Scala higher kinded type variance
0:05:50
Subtyping (in Scala)
0:04:59
Hands-On Scala Programming : Standard Scala Lib | packtpub.com
0:51:07
SCALA MEET UP: Co and Contra Variance by Sebastián Ortega
0:06:32
Covariance vs Contravariance in Programming Languages
0:03:57
Functional Programming. An introduction in Scala
0:46:41
4 Ways to Compute Mean, Variance, and Correlation in Spark Scala
0:48:19
Scala 2 Spark Day 28 - variance, std, skewness, kurtosis, covariance, correlation 2022 08 09
2:45:13
Scala Type System(1) - Module(1)
0:25:12
Refined Types in Scala | Rock the JVM
0:10:55
Nominal, Ordinal, Interval & Ratio Data: Simple Explanation With Examples
1:44:03
SF Scala: Martin Odersky, Scala -- the Simple Parts
0:11:58
What is Covariance and Contravariance in C#: A Complete Overview
Комментарии