Guillaume Martres
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- Scala Days2 editions2023–2023
all 8 in the filters
on a stage with
never shared a talk
who talks about the same things
- Martin Odersky47 talks
- Miles Sabin13 talks
- Jon Pretty24 talks
- Andrew Kozlov3 talks
- Nicolas Rinaudo13 talks
- Adriaan Moors11 talks
| title | conference | date |
|---|---|---|
| Polymorphic Function Types in Scala 3 | Scala Days 2023 Madrid | 2023-09-12 |
Scala 3 adds first-class polymorphic function types, represented as a refinement that injects an apply method so the type system treats them like values… | ||
| Polymorphic Function Types in Scala 3 | Scala Days 2023 Seattle | 2023-06-05 |
Explains concrete Scala 3 changes: adds polymorphic function types that require a polymorphic apply method, implemented as a refinement trait and compiled by… | ||
| Secrets of the Scala Type System | ScalaIO 2022 | 2022-10-27 |
Concrete rules and failure modes for Scala 3 type lookup: intersection results intersect return types, linearization order decides overrides, union types… | ||
| Scala 3, Type Inference and You! | Scala World 2019 | 2019-09-11 |
Scala 3 (Dotty) changes when type variables get instantiated: it delays instantiation when a type parameter appears invariant or contravariantly, chooses lower… | ||
| Future proofing Scala the TASTY intermediate rep | Scala Days Lausanne 2019 | 2019-06-11 |
Designs a stable, evolving intermediate format called TASTy that serializes Scala after typechecking: name table, typed AST sections, positions and doc… | ||
| Integrating IDEs with Dotty, The Experimental Scala Compiler | Scala Days New York 2018 | 2018-06-19 |
Dotty exposes a small interactive API and uses TASTy so IDEs see full typed trees stored in TASTy for both open files and classpath artifacts, enabling uniform… | ||
| Integrating IDEs with Dotty the experimental Scala compiler | Scala Days Berlin 2018 | 2018-05-14 |
Dotty exposes the typed ASTs (TASTy) so the IDE queries the compiler after typechecking to implement features like go-to-definition and rename; the interactive… | ||
| Interactive development with Dotty | Scala.IO 2017 | 2017-11-02 |
Dotty (Scala 3) provides interactive tooling by reusing compiler internals: it serializes TASTy trees into classfiles so IDE features can query compiled… | ||
| Dotty and types: the story so far | Typelevel Summit Oslo 2016 | 2016-05-04 |
Dotty implements a compact, practical type-parameter inference engine (~300 lines) that delays instantiation until needed, chooses lower or upper bounds based… | ||
| nothing matches | ||