타입 추론의 변화

타입 추론의 변화 (Changes in Type Inference)

스칼라 3의 타입 추론에 대한 자세한 내용은 두 발표 자료를 참고하세요.

출처: Scala 3 Reference

본문

  • Guillaume Martres의 <Scala 3, Type inference and You!> (2019년 9월)
  • Aleksander Boruch-Gruszecki의 (2019년 7월)

두 발표에서 스칼라 3 타입 추론의 변화와 동기를 자세히 다루고 있어요. 특히 GADT(일반화된 대수적 데이터 타입) 지원과 추론 규칙의 변화가 어떻게 이뤄졌는지 확인할 수 있을 거예요.