Type inference가 모으는 정보

argument와 lambda body, assignment target을 함께 사용한다.

  1. Source argument

    generic input type 제약

  2. Lambda body

    parameter와 결과 제약

  3. Target variable

    기대 output type 제약

  4. 해결

    모든 제약의 공통 type 선택

핵심: 진단이 복잡하면 typed local variable로 연결 단계를 나눈다.