amber-spec-experts  

Messages by Date

• 2020/08/30 Re: switch: using an expicit type as total is dangerous Brian Goetz
• 2020/08/30 Re: When several patterns are total ? Tagir Valeev
• 2020/08/30 Re: When several patterns are total ? Brian Goetz
• 2020/08/30 Re: Finalizing in JDK 16 - Pattern matching for instanceof Brian Goetz
• 2020/08/30 Re: switch: using an expicit type as total is dangerous forax
• 2020/08/30 When several patterns are total ? Remi Forax
• 2020/08/30 Re: Finalizing in JDK 16 - Pattern matching for instanceof Remi Forax
• 2020/08/29 Re: [pattern-switch] Totality Remi Forax
• 2020/08/28 Re: [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/28 Re: [pattern-switch] Totality forax
• 2020/08/28 Re: [pattern-switch] Exhaustiveness Dan Smith
• 2020/08/28 Re: [pattern-switch] Totality forax
• 2020/08/28 Re: Sealed local interfaces Dan Smith
• 2020/08/28 Re: [pattern-switch] Totality Guy Steele
• 2020/08/28 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/28 Re: [pattern-switch] Totality Remi Forax
• 2020/08/28 Re: [pattern-switch] Totality forax
• 2020/08/28 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/28 Re: [pattern-switch] Totality forax
• 2020/08/28 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/27 Re: [pattern-switch] Totality Remi Forax
• 2020/08/26 Re: [pattern-switch] Guards Brian Goetz
• 2020/08/26 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/26 Re: [pattern-switch] Summary of open issues Brian Goetz
• 2020/08/26 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/26 Re: [pattern-switch] Totality Guy Steele
• 2020/08/26 Re: Finalizing in JDK 16 - Pattern matching for instanceof Guy Steele
• 2020/08/26 Re: Finalizing in JDK 16 - Pattern matching for instanceof Brian Goetz
• 2020/08/26 Re: Finalizing in JDK 16 - Pattern matching for instanceof Guy Steele
• 2020/08/26 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/26 Re: Finalizing in JDK 16 - Pattern matching for instanceof Tagir Valeev
• 2020/08/26 Re: Finalizing in JDK 16 - Pattern matching for instanceof Brian Goetz
• 2020/08/26 Re: Opting into totality Brian Goetz
• 2020/08/25 Re: Opting into totality Guy Steele
• 2020/08/25 Re: Opting into totality Brian Goetz
• 2020/08/25 Re: Opting into totality Brian Goetz
• 2020/08/25 Re: Opting into totality Guy Steele
• 2020/08/25 Re: Opting into totality Guy Steele
• 2020/08/25 Re: Opting into totality Brian Goetz
• 2020/08/25 Re: Opting into totality Guy Steele
• 2020/08/25 Re: Optimistic totality Remi Forax
• 2020/08/24 Re: Opting into totality Guy Steele
• 2020/08/24 Re: Opting into totality Guy Steele
• 2020/08/24 Re: Opting into totality Brian Goetz
• 2020/08/24 Re: Opting into totality Guy Steele
• 2020/08/24 Re: Opting into totality Guy Steele
• 2020/08/24 Re: Opting into totality Brian Goetz
• 2020/08/24 Re: Opting into totality Guy Steele
• 2020/08/24 Re: switch: using an expicit type as total is dangerous Brian Goetz
• 2020/08/24 Opting into totality Brian Goetz
• 2020/08/24 Optimistic totality Brian Goetz
• 2020/08/24 switch: using an expicit type as total is dangerous Remi Forax
• 2020/08/23 Re: [pattern-switch] Totality Guy Steele
• 2020/08/23 Re: switch on Class ? Brian Goetz
• 2020/08/23 Re: switch on Class ? forax
• 2020/08/23 Re: Letting the nulls flow (Was: Exhaustiveness) forax
• 2020/08/23 Re: Letting the nulls flow (Was: Exhaustiveness) Brian Goetz
• 2020/08/23 Re: Letting the nulls flow (Was: Exhaustiveness) forax
• 2020/08/23 Re: Letting the nulls flow (Was: Exhaustiveness) Brian Goetz
• 2020/08/23 Re: Letting the nulls flow (Was: Exhaustiveness) forax
• 2020/08/23 Re: [pattern-switch] Summary of open issues Brian Goetz
• 2020/08/23 Re: switch on Class ? Tagir Valeev
• 2020/08/23 Re: Letting the nulls flow (Was: Exhaustiveness) Brian Goetz
• 2020/08/23 Re: switch on Class ? Brian Goetz
• 2020/08/23 switch on Class ? Remi Forax
• 2020/08/22 Re: Letting the nulls flow (Was: Exhaustiveness) Tagir Valeev
• 2020/08/22 Re: [pattern-switch] Totality Guy Steele
• 2020/08/22 Re: [pattern-switch] Totality Guy Steele
• 2020/08/22 Re: [pattern-switch] Totality Brian Goetz
• 2020/08/22 Letting the nulls flow (Was: Exhaustiveness) Brian Goetz
• 2020/08/22 Re: [pattern-switch] Totality Guy Steele
• 2020/08/22 Re: [pattern-switch] Totality forax
• 2020/08/22 Re: [pattern-switch] Exhaustiveness forax
• 2020/08/22 Re: [pattern-switch] Exhaustiveness forax
• 2020/08/21 Re: [pattern-switch] Totality Guy Steele
• 2020/08/21 [pattern-switch] Totality Brian Goetz
• 2020/08/21 Re: [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Guy Steele
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Guy Steele
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Guy Steele
• 2020/08/20 Re: [pattern-switch] Exhaustiveness forax
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Remi Forax
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Remi Forax
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Tagir Valeev
• 2020/08/20 Re: [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/19 Re: Sealed local interfaces Remi Forax
• 2020/08/18 Re: Sealed local interfaces Brian Goetz
• 2020/08/18 Re: Sealed local interfaces Vicente Romero
• 2020/08/17 Sealed local interfaces Remi Forax
• 2020/08/14 Re: A peek at the roadmap for pattern matching and more Eddie Aftandilian
• 2020/08/14 Re: A peek at the roadmap for pattern matching and more Jonathan Gibbons
• 2020/08/14 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/14 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/14 [pattern-switch] Is totality too subtle? Brian Goetz
• 2020/08/14 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/14 [pattern-switch] Guards Brian Goetz
• 2020/08/14 [pattern-switch] Exhaustiveness Brian Goetz
• 2020/08/14 [pattern-switch] Summary of open issues Brian Goetz
• 2020/08/14 Re: Next up for patterns: type patterns in switch Alex Buckley
• 2020/08/14 Re: A peek at the roadmap for pattern matching and more Daniel Heidinga
• 2020/08/14 Re: Next up for patterns: type patterns in switch Remi Forax
• 2020/08/14 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/13 Re: Next up for patterns: type patterns in switch Tagir Valeev
• 2020/08/13 Re: [records] Mark generated toString/equals/hashCode in class files somehow? Joe Darcy
• 2020/08/13 Re: Next up for patterns: type patterns in switch John Rose
• 2020/08/13 Re: Next up for patterns: type patterns in switch forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/13 Re: Next up for patterns: type patterns in switch forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: Next up for patterns: type patterns in switch Alex Buckley
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Guy Steele
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/13 Last call on pattern switch (well, not really) Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Guy Steele
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Guy Steele
• 2020/08/13 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/13 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/13 Re: Next up for patterns: type patterns in switch forax
• 2020/08/12 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/12 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/12 Re: A peek at the roadmap for pattern matching and more John Rose
• 2020/08/12 Re: A peek at the roadmap for pattern matching and more Remi Forax
• 2020/08/12 Re: A peek at the roadmap for pattern matching and more forax
• 2020/08/12 Re: A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/12 Re: A peek at the roadmap for pattern matching and more Remi Forax
• 2020/08/12 Re: Next up for patterns: type patterns in switch forax
• 2020/08/12 A peek at the roadmap for pattern matching and more Brian Goetz
• 2020/08/12 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/12 Re: Next up for patterns: type patterns in switch forax
• 2020/08/12 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/12 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/12 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/12 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/12 Re: Next up for patterns: type patterns in switch forax
• 2020/08/11 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/11 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/11 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/11 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/11 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/11 Re: On the last case being explicitly total Guy Steele
• 2020/08/11 Re: On the last case being explicitly total Guy Steele
• 2020/08/11 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/11 Re: On the last case being explicitly total Brian Goetz
• 2020/08/11 On the last case being explicitly total forax
• 2020/08/11 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/11 Re: Next up for patterns: type patterns in switch forax
• 2020/08/11 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/11 Re: [records] Mark generated toString/equals/hashCode in class files somehow? Alex Buckley
• 2020/08/11 Re: Next up for patterns: type patterns in switch forax
• 2020/08/11 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/11 Re: Next up for patterns: type patterns in switch Remi Forax
• 2020/08/11 Re: Next up for patterns: type patterns in switch Remi Forax
• 2020/08/10 Re: [records] Mark generated toString/equals/hashCode in class files somehow? Tagir Valeev
• 2020/08/10 Re: Next up for patterns: type patterns in switch John Rose
• 2020/08/10 Re: Next up for patterns: type patterns in switch John Rose
• 2020/08/10 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/10 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/08 Re: Nullable switch forax
• 2020/08/08 Re: Nullable switch Brian Goetz
• 2020/08/08 Re: Nullable switch forax
• 2020/08/07 Re: Next up for patterns: type patterns in switch John Rose
• 2020/08/07 Re: Nullable switch John Rose
• 2020/08/07 Re: Nullable switch Guy Steele
• 2020/08/07 Re: [records] Mark generated toString/equals/hashCode in class files somehow? Alex Buckley
• 2020/08/07 Re: Nullable switch Brian Goetz
• 2020/08/06 Re: [records] Mark generated toString/equals/hashCode in class files somehow? Tagir Valeev
• 2020/08/06 Re: [records] Mark generated toString/equals/hashCode in class files somehow? Jonathan Gibbons
• 2020/08/06 Re: Nullable switch Guy Steele
• 2020/08/06 [records] Mark generated toString/equals/hashCode in class files somehow? Tagir Valeev
• 2020/08/06 Re: Nullable switch Brian Goetz
• 2020/08/06 Re: Nullable switch forax
• 2020/08/06 Re: Nullable switch Brian Goetz
• 2020/08/06 Nullable switch forax
• 2020/08/06 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/04 Re: Next up for patterns: type patterns in switch Guy Steele
• 2020/08/04 Re: Next up for patterns: type patterns in switch Brian Goetz
• 2020/08/03 Re: Finalizing in JDK 16 - Records Brian Goetz
• 2020/08/03 Re: Finalizing in JDK 16 - Records Remi Forax
• 2020/08/03 Re: Finalizing in JDK 16 - Records Brian Goetz
• 2020/07/27 Re: Observation about nulls in type patterns forax
• 2020/07/27 Re: Observation about nulls in type patterns Brian Goetz

• Earlier messages
• Later messages