May 2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri May 6 09:05:15 UTC 2022
Ending: Tue May 31 22:15:20 UTC 2022
Messages: 35

• [External] : Re: Record pattern and side effects   forax at univ-mlv.fr
  • [External] : Re: Record pattern and side effects   Brian Goetz
    • [External] : Re: Record pattern and side effects   forax at univ-mlv.fr
• Pattern matching: next steps after JEP 405   Brian Goetz
  • Pattern matching: next steps after JEP 405   Remi Forax
    • Pattern matching: next steps after JEP 405   Brian Goetz
      • Collections patterns   forax at univ-mlv.fr
      • Collections patterns   Brian Goetz
      • Collections patterns   forax at univ-mlv.fr
      • Collections patterns   Brian Goetz
      • Pattern matching: next steps after JEP 405   forax at univ-mlv.fr
      • Pattern matching: next steps after JEP 405   Brian Goetz
      • Pattern matching: next steps after JEP 405   forax at univ-mlv.fr
      • Pattern matching: next steps after JEP 405   Brian Goetz
  • Pattern matching: next steps after JEP 405   Remi Forax
    • Pattern matching: next steps after JEP 405   Brian Goetz
  • Refined type checking for GADTs (was: Pattern matching: next steps after JEP 405)   Brian Goetz
• Guard variable and being effectively final   Remi Forax
  • Guard variable and being effectively final   forax at univ-mlv.fr
  • Guard variable and being effectively final   Maurizio Cimadamore
• It's the data, stupid !   Remi Forax
  • It's the data, stupid !   Brian Goetz
    • It's the data, stupid !   forax at univ-mlv.fr
      • It's the data, stupid !   Brian Goetz
      • It's the data, stupid !   forax at univ-mlv.fr
      • It's the data, stupid !   Brian Goetz
      • It's the data, stupid !   forax at univ-mlv.fr
      • It's the data, stupid !   Brian Goetz
• Named record pattern   Tagir Valeev
  • Named record pattern   Brian Goetz
    • Named record pattern   Tagir Valeev
      • Named record pattern   Brian Goetz
      • Named record pattern   Brian Goetz
      • Named record pattern   Maurizio Cimadamore
      • Named record pattern   Remi Forax

Last message date: Tue May 31 22:15:20 UTC 2022
Archived on: Tue May 31 22:15:35 UTC 2022

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...