표준 interface 선택 순서

parameter와 결과, exception, primitive를 차례로 확인한다.

  1. 입력 개수

    0, 1, 2를 구분한다.

  2. 결과

    void, boolean, value를 구분한다.

  3. 실패

    checked exception 선언 여부를 본다.

  4. 비용

    primitive specialization 필요를 측정한다.

핵심: domain metadata가 핵심이면 custom contract가 더 많은 정보를 보존한다.