차례:
정의-타입 추론의 의미는 무엇입니까?
타입 추론은 프로그래밍 언어에서 특정 표현의 데이터 타입을 자동으로 추론하는 것으로 보통 컴파일 타임에 수행됩니다. 프로그램을 분석 한 다음 프로그램에서 변수를 사용할 때마다 데이터 유형을 명시 적으로 입력하고 정의 할 필요가 없도록 프로그램을 분석 한 다음 해당 프로그램에서 일부 또는 모든 표현식의 다른 유형을 유추합니다.Techopedia에서 형식 유추를 설명합니다.
타입 추론은 종종 객체 지향 언어가 아닌 함수형 프로그래밍 언어의 컴파일러 기능입니다. 컴파일러 또는 인터프리터는 변수 또는 표현식의 데이터 유형이 무엇인지 파악하기 위해 컨텍스트뿐만 아니라 최소한의 정보 만 필요합니다.
추론 알고리즘은 반환 값 유형뿐만 아니라 인수 유형을 결정한 다음 모든 인수와 작동하는 가장 구체적인 데이터 유형을 찾으려고 시도합니다. 기본 예로서, Foo (a, b) = x + y; 컴파일러는 "+"연산자가 두 개의 정수를 취하고 정수를 리턴한다는 것을 알고 있으므로 이제 컴파일러 또는 해석기는 Foo에도 정수 유형이 있다고 추론 할 수 있습니다.
