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

Bivariance

Creator
Creator
Seonglae Cho
Created
Created
2021 Aug 17 4:7
Editor
Editor
Seonglae Cho
Edited
Edited
2023 Apr 25 1:54
Refs
Refs
Type Covariance
Contravariance
-strictFunctionTypes 를 쓰지 않으면 TypeScript는 파라미터를 이변적으로(bivariantly) 다룹니다
공변성과 반공변성을 모두 가지는 것
즉, 서브타입과 수퍼타입 모두 파라미터로 사용하더라도 타입 에러가 나지 않도록
 
 
 
 
 
공변성이란 무엇인가 / 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/
공변성이란 무엇인가 / seob.dev
 
 
 

Backlinks

Type SystemTS Type Signature

Recommendations

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