External Source
Venners & Sommers: Thinking In Scala 3 Types [scala Days 2025]
Synopsis
The Scala 3 type system is powerful, but to use it effectively, you need to understand it. This talk offers a guided tour of its major ...
You Might Also Like
![Martin Odersky： Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote]](https://i.ytimg.com/vi/p-iWql7fVRg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDT0mwsDMGswCQTiUPVbhzGJb7CwQ)
![Noel Welsh: Routing Http Requests with Scala 3 [Scala Days 2025]](https://i.ytimg.com/vi/RzIESFg8QqQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC7r-6AkCi8NUkyifhKDJbea4cuYg)
![Evan Czaplicki: How to Grow More Functional Programmers [Scala Days 2025 Keynote]](https://i.ytimg.com/vi/9OtN4iiFBsQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDTmanZ_5CWs2dI_wEJvnirrohfpw)
![Ralf Jung: What's the deal with unsafe Rust? [Scala Days 2025 Keynote]](https://i.ytimg.com/vi/YwABQ9eYQv4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCMtm4bGdPYBybphPD3UY9cBMlpsQ)
![Anton Sviridov: Tree Sitting will continue until Scala highlighting improves [Scala Days 2025]](https://i.ytimg.com/vi/qkUVytJ2zxQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDPQEC_3pYr55qo7D4f3pMtxFYQSA)
![Magda Stożek: Say goodbye to implicits - contextual abstractions in Scala 3 [Scala Days 2025]](https://i.ytimg.com/vi/59T9nf0PHvc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAj5xT6uawU8bqUS2bR2-i-Us5nTA)
![Li Haoyi: Easy Scala Builds with the Mill Build Tool [Scala Days 2025]](https://i.ytimg.com/vi/WDQblqLQCzw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA-shQCckPEFos0eMK7g1JV5vv_iQ)
![Arman Bilge: A Typelevel retrospective [Scala Days 2025]](https://i.ytimg.com/vi/51kW8zK7YhQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDl6mombjhVyru_HKWhJDx2tRu4Ww)
![Jamie Thompson: Effective Match Types [Scala Days 2025]](https://i.ytimg.com/vi/v2SsPqvV6l8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAi9ildo9V6wMuyE9Bg5ePrHOi7pQ)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.