퍼스트 클래스 메시지
First-class message오브젝트 지향 프로그래밍에서 메서드 콜에서 수신 오브젝트 및 파라미터 리스트가 동적으로 변화할 수 있을 뿐만 아니라(즉, 변수에 바인드되거나 식으로서 계산될 수 있는) 특정 메서드도 호출될 경우 프로그래밍 언어는 퍼스트 클래스 메시지 또는 다이내믹 메시지를 갖는 것으로 간주된다.
Java 및 C++와 같은 유형화된 객체 지향 프로그래밍 언어는 종종 퍼스트 클래스 [1]메서드를 지원하지 않습니다.스몰톡은 그들을 타이프되지 않은 [2]방식으로만 지원한다.Objective-C(Cocoa)에서는 다음을 사용할 수 있습니다.NSInvocation은 실행 시 유형을 인식하는 방식으로 퍼스트 클래스 메시지를 나타냅니다. 그러나 안전한 사용은 여전히 프로그래머에 의존합니다.
타입 세이프 방식으로 퍼스트 클래스 메시지를 지원하기 위한 이론적인 진전이 이루어졌지만,[3] 제안된 시스템 중 그 복잡성 때문에 프로그래밍 언어로 구현된 시스템은 없습니다.
「 」를 참조해 주세요.
메모들
레퍼런스
- 니시무라 스스무(1998)."다이나믹 메시지용 정적 타이핑"98년식
- 미셸 부글리시와 실비아 크라파(1999년)."Dynamic Messages용 Object Calculi"입니다.바보 6
- 마틴 뮐러 & 니시무라 스스무(2000)."기능 제약이 있는 퍼스트 클래스 메시지에 대한 유형 추론"입니다.국제 컴퓨터 과학 재단 저널 11:1.
- 프랑수아 포티에(2000)."다용도 제약 기반 유형 추론 시스템"Nordic Journal of Computing.
- Paritosh Shroff & Scott F.스미스, "일치 함수를 가진 퍼스트 클래스 메시지에 대한 유형 추론"
