===

 러스트는 polymorphic 구조에 계층이 없는데 왜 계층을 찾으려 할까요 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ04.21 15:55:04삭제

이게 네 말이다.

애초에 지가 뭔 말하는지 모르면서 그럼ㅋㅋㅋ

뭐 이 말하고 저 말하고

러스트는 전통적인 OOP 적 계층 구조는 없음

러스트는 클래스 상속이 없기때문에 계층성이 없다! 라고 하는데

나는 러스트가 전통적 OOP라고 한 적 없다.

추상화 계층 

trait(인터페이스 적 구조)과 impl(구현) 은 논리적 분리가 있기때문

자 그걸 명시적으로 볼 수 있는 슈퍼 트레잇이 그 예시임

trait Eq: PartiaEq{} 하면

PartialEq 구현이 Eq의 전제 조건임

->이게 뭐다? 계층임 

트레잇 바운드도 매한가지임

따라서 러스트의 다형성 구조에 계층이 없다라는 건 엄밀히 말하면 틀렸음

올바른 대답은?

:러스트는 전통적인 OOP언어에서 가지는 '상속' 계층이 없다라고 이야기해야함.

근데 넌 '다형성이 가지는 계층적 구조가 없다'라고 이야기함.

애초에 '상속'은 '다형성'을 구현하는 도구임.

다형성에서 의미적 분리가 있는 순간 이는 엄밀히 말해서 계층성이 있다고 말함.

그게 파르나스의 논문이었음.

애초에 SuperTrait과 Bound로 필요 계층 생성하는게 의존성 계층 생성하는거

이게 엄밀한 정의인데 자꾸 말을 바꿈