https://namu.wiki/w/%EA%B3%A0%ED%8B%80%EB%A1%9C%ED%94%84%20%ED%94%84%EB%A0%88%EA%B2%8C#s-3.1.4


그냥 type theory 살펴보다가 궁금한게 생겨서 여기저기 둘러보고 있는데 어쩌다가 위에 링크남긴 부분까지 가게 되었음


저기서 유전성이라는게 혹시 프로그래밍에서 상속 개념과 연관성이 있는 개념임?


새로운 분야에 막상 발 담구니까 너무 많은 지식들이 몰려와서 정신을 못차리는중..