검색 결과

{{SOLID 원칙}} ...h>T</math>의 객체를 자료형 <math>S</math>의 객체로 교체(치환)할 수 있어야 한다는 원칙이다. '''리스코프 치환 원칙'''({{llang|en|Liskov substitution principle}}, LSP)은 [[바바라 리스코프]]가 ''자료 추상화 ...

...와 '''참조 투명도'''는 [[컴퓨터 프로그램]]의 일부 속성이다.  프로그램 동작의 변경없이 관련 값을 대체할 수 있다면 [[식 (프로그래밍)|표현식]]을 참조 상 투명하다고 할 수 있다. 그 결과, 참조 상 투명한 함수를 [[Eval|평가]]하게 되면 동일한 인자에 대해 동 ...로지 참조 상 투명한 함수 만이 고려된다. 어떤 [[프로그래밍 언어]]들은 참조 투명성을 보장하기 위한 수단을 제공한다. 어떤 함수형 프로그래밍 언어들은 모든 함수에 대해 참조 투명성을 강제하기도 한다. ...

...'공변성'''({{llang|en|Covariance}})과 '''반공변성'''({{llang|en|Contravariance}})은 프로그래밍 언어가 타입 생성자({{llang|en|type constructor}})에 있어 서브타입을 처리하는 방법을 나타내는 것으로, 더 복잡 프로그래밍 언어의 [[자료형 체계]]에서 {{mvar|I}}를 타입 매개변수 하나를 받는 타입 생성자라고 할 때, ...