Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Programming Language/Programming Language Structure/Type System/
Type Covariance
Search

Type Covariance

Creator
Creator
Seonglae ChoSeonglae Cho
Created
Created
2021 Aug 17 4:5
Editor
Editor
Seonglae ChoSeonglae Cho
Edited
Edited
2023 Apr 25 1:54
Refs
Refs
Contravariance

공변성

A 가 B 의 서브타입일 때, T<A> 가 T<B> 의 서브타입이 된다면, T 를 공변적이라고 본다
Array는 대표적으로 공변적
 
 
 
 
공변성이란 무엇인가 / seob.dev
TypeScript에서 메서드의 타입을 정의하는 방법은 두 가지가 있습니다. 여러분들은 둘 중 어떤 방식을 선호하시나요? 저는 전자, 그러니까 프로퍼티로서 메서드를 선언하는 방식을 사용해왔습니다. 지금껏 이런 선언 방식은 개인 스타일이라고 생각해서 다른 사람이 저와 다른 방식으로 메서드를 선언하더라도 크게 신경쓰지 않았어요. 그런데 지난 금요일에 메서드 타입 선언 스타일에 대해서 논의하다가, 이 두 가지 방식이 실제로는 미묘한 차이를 가지고 있다는 것을 알게 되었습니다.
공변성이란 무엇인가 / seob.dev
https://seob.dev/posts/%EA%B3%B5%EB%B3%80%EC%84%B1%EC%9D%B4%EB%9E%80-%EB%AC%B4%EC%97%87%EC%9D%B8%EA%B0%80/
 
 

Backlinks

TypeScript TypingType SystemType SystemESLint TypescriptTS Type Signature

Recommendations

Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Programming Language/Programming Language Structure/Type System/
Type Covariance
Copyright Seonglae Cho