Typed Function pipeline은 각 단계의 출력이 다음 입력과 맞는다

raw Function을 섞으면 중간 타입 오류가 runtime cast로 이동합니다.

  1. 1

    raw text

    String

  2. 2

    parse

    String→Entry

  3. 3

    normalize

    Entry→Entry

  4. 4

    score

    Entry→Integer

  5. 5

    label

    Integer→String

핵심: compiler가 전체 chain의 T→R 관계를 추적하게 합니다.