유형 유추 언어에 대한 질문

Question

유형 유추 언어에 대해 몇 가지 질문이 있습니다. 타입 유추를 말하면, 데이터 타입이 코드에서 명시 적으로 선언 될 필요가없는 모든 언어를 참조합니다.

이 언어가 개발자에게 더 큰 유연성을 제공한다고 생각하지만 아래 질문에 대한 답을 얻고 싶습니다.

1. 이러한 언어는 런타임시 실제 데이터 형식을 추론하는 데 더 많은 시간을 소비합니까?

2. 엔터프라이즈 응용 프로그램 개발에 이러한 언어를 사용할 수 있습니까? 유지 보수성과 재사용 성을 지원합니까? 모든

Answer 1

최초의 몇 가지 용어를 명확히하자

• 정적으로 입력 된 언어 유형이 정적으로 알려진 하나, 즉 프로그램을 실행하지 않고
• 동적으로 입력 된 언어가 어디 유형 월 하나입니다 런타임까지 알 수 없음
• 유형 추론은 명시 적 유형 주석을 포함하지 않는 코드에서 유형을 정적으로 결정하는 프로세스입니다. 형식 유추를 통해 유형을 파악
  • 동적으로 입력 된 언어의
  • 정적으로 입력 된 언어의 : 우리가 명시 적 유형의 주석을 필요로하지 않는 언어에 대해 이야기 할 때

  그래서, 기본적으로 두 가지 종류가 있습니다 오히려 유형 약어에 비해

동적으로 입력 된 언어는 일반적으로 런타임에 추가 유형 검사를 필요로하고 최적화 적은 공간이 (때문에 최적화 rs는 유형을 알고있을 때 더 많은 것을 최적화 할 수 있습니다). 따라서 동적 타이핑에는 몇 가지 성능 단점이 있습니다. 그러나 언어에 따라 유형 유추를 적용하여 가능한 경우 정적으로 유형을 파악하여이 중 일부를 보완하는 것이 가능합니다. 확실히 동적 유형의 언어로 작성된 엔터프라이즈 응용 프로그램이 있습니다.

유형 유추가있는 정적 유형 언어는 런타임에 유형이없는 정적 유형 언어와 다르게 수행하지 않습니다. 컴파일 시간 만 더 길 수 있습니다.

Answer 2

이러한 언어는 런타임시 실제 데이터 형식을 추론하는 데 더 많은 시간이 소요됩니까?

유형 유추가있는 많은 언어는 컴파일러를 사용합니다. 컴파일러는 형식 유추에 필요한 모든 작업을 수행하므로 런타임 비용이 들지 않습니다.

이러한 언어를 엔터프라이즈 응용 프로그램 개발에 사용할 수 있습니까?

크고 다양한 도메인에 다양한 언어 그룹을 사용할 수 있는지 묻는 중입니다. 나는 그 질문을하는 것이 많은 의미가 있다고 생각하지 않는다. 그러나 일반적으로 유형 유추가있는 언어를 사용하여 엔터프라이즈 응용 프로그램을 개발할 수 있습니다.

유지 관리 및 재사용을 지원합니까?

매우 불투명 한 질문입니다. 유형 유추가 포함 된 주류 언어로 재사용 가능하고 재사용 가능한 코드를 작성할 수 있다고 말하고 싶습니다.