다형성 개념 문의

언급해주신 Luca Cardelli & Peter Wegner (1985), "On Understanding Types, Data Abstraction, and Polymorphism" (ACM Computing Surveys, Vol. 17, No. 4)이 논문이 제 질문의 요지에 핵심이고 사실상 'Overriding' 이란 단어(Wording)를 발견하지 못했지만, 주요 개념들을 논문에서 보고, 다른 써치를 통해 짚어본 결과오버라이딩이 sub 타입의 다형성(부모 클래스의 메소드 재정의)을 의미하며,다형성의 종류는 ad-hoc 다형성(오버로딩이 대표적)/ subtype의 다형성 (오버라이딩)/제네릭(T)/강제변환(캐스팅) 이 있는데 다형성과 추상화는 엄밀히 개념을 구분 해야 하며/ 다형성과 추상화를 관련 시켜 설명하면, 객체 지향 설계를 위한 추상화 작업에서 포함되는 주요 작업이 다형성의 오버라이딩 개념이다 라고 이해하면 되지 않을 까 합니다. 즉 답변에서 말씀하시는 것처럼 '객체지향 관점에서, 추상화를 구현하기 위해선 다형성 기법들 중 Sub 타입의 다형성을 사용하며 이것이 곧 핵심이다' 로 정리하면 되겠네요. 강의 자료와 답변이 부자연스럽고 할루시네이션이 존재하는 AI가 답변하는 느낌을 받았습니다. 결합도를 낮추기 위한 DIP까지 TMI로 나올 줄은 몰랐네요.AI를 활용해 정돈된 답변을 하는 것도 좋지만, AI 답변을 좀 더 점검해서 질문자의 질문 의도를 명확히 파악하고 쉽게 설명해주는 것도 AI를 잘 다룰 수 있는 좋은 능력이라 생각하며, 제 개인적인 피드백이었습니다 :)) (보통 면접이나 실무에서 Sub type의 다형성 이란 워딩을 단 한번도 사용해보지는 않았지만, 덕분에 영어로 사용하는 CS용어들은 덤으로 알아갑니다 ㅎㅎ)