왜 프로그래밍 언어가 리턴 유형에 관계없이 메소드 서명을 생성합니까?

반환 유형을 기반으로 메소드 서명을 생성하지 않는 많은 언어로 작업했습니다. 나는 또한 하나 (어쩌면 일부입니까?)와 함께 일했습니다. 과거에 나에게 문제를주지 않은 사람들 (예 : 여기 ). 왜 프로그래밍 언어가 리턴 유형에 관계없이 메소드 서명을 생성합니까?

업데이트 : 나는 정적으로 유형이 컴파일 된 언어를 특별히 언급하고 있습니다.

타입 캐스팅 및 타입 계층 구조와 잘 맞지 않습니다. 두 가지 버전의 메소드가있는 경우 (하나는 유형 A를 리턴하고 다른 하나는 유형 B를 리턴 함) 다음과 같은 경우에 문제가 발생합니다.

• A 또는 B는 서로의 서브 타입이며 리턴 값을 수퍼 타입 ​​인 것으로 지정합니다.
• A와 B에는 공통 수퍼 타입이 있으며 이러한 수퍼 타입 ​​값에 지정합니다.

캐스트 로이 문제를 해결할 수는 있지만 함수 중 하나의 이름을 바꾸는 것만 큼 많은 타이핑이 필요합니다. 호출이 모호 할 때 컴파일러 오류를 등록 할 수도 있습니다.이 경우 사용자는 비슷한 노력을 기울여야합니다.

메소드를 호출하고 결과를 지정할 수 없기 때문입니다.

경험적 규칙 : 강력한 형식의 언어는 일반적으로 메서드 서명을 반환 형식에 바인딩합니다. 약한 유형의 언어는 그렇지 않습니다.
C #을 모르지만 C #이 제네릭을 처리하는 방식으로 인해 문제가 있다고 가정합니다. 일반적인 방법과는 완전히 다른 방법을 만들 수 있습니다.이 경우에는 실제로 두 가지 방법입니다.