[%] 레거시 적폐목록

[ㅇㄹ(rerereq)]

1. 생성자

2. 예외

3. 널참조값

4. 오버로딩

[다믜(damhiya)]

하나 하나가 다 주옥같네

[다믜(damhiya)]

오버라이딩도 추가해야한다

[ㅇㄹ(rerereq)]

가상호출은 ㄱㅊ음

[다믜(damhiya)]

오버라이딩 자체가 문제라고는 생각 안하는데, 오버라이딩을 하면 코드 복잡도가 올라간다고 생각함

[ㅇㄹ(rerereq)]

그건 오버라이딩이 문제가 아니라 상속때문에 타입이 커져서 그런거같은데

[다믜(damhiya)]

상속해도 오버라이딩 안하면 하위호환성이 100% 보장되는거 아닌가

[ㅇㄹ(rerereq)]

걍 한타입에서 온갖걸 다 할려고들면 뭐든간에 복잡해짐

[다믜(damhiya)]

흠.. 그런가

[Penguin(115.145)]

그냥 짧게 oop가 적폐입니다 라고 하면 될 거 같은데 ㅇㅅㅇ

[ㅇㄹ(rerereq)]

예외는 함슬람들에도 있는데요 ㅇㅅㅇ

[ㅇㄹ(rerereq)]

널참조도 있을거같은데 모르겠고

[다믜(damhiya)]

하스켈도 Exception 있음. 나는 적폐라고 생각함.

[다믜(damhiya)]

정확히 말하자면, undefined를 제외한 예외는 IO 모나드만 던질 수 있음

[ㅇㄹ(rerereq)]

넷다없는건 rust고 그외에 제일 근접한건 go

[ㅇㄹ(rerereq)]

아 ㅈㅅ 킹갓 C도 아주근접

[Penguin(115.145)]

rust 생성자는 없긴한데, 생성자 역할을 하는 것 정도는 맨들 수 있지 않음? 나 지금까지 그런식으로 struct 사용했는데.

[ㅇㄹ(rerereq)]

그건 걍 컨벤션

[나니킷(nanikit)]

1번 생성자가 왜 문제임? 4번 오버로딩은 C++에서 명확하지 않아서 문제인 건가?

[ㅇㄹ(rerereq)]

둘다 모호해서 문제임

[ㅇㄹ(rerereq)]

넷다 코드의 의미를 모호하게 만듬

[나니킷(nanikit)]

그럼 타입 시스템이 구리다고 말하는 건가? 러스트는 저 역할이 없는 게 아니라 깐깐하게 검사할 뿐이잖음.

[ㅇㄹ(rerereq)]

러스트에 저기서 뭐가 있음

[ㅇㄹ(rerereq)]

위댓글에도 말했지만 오히려 C에 저런 애들이 없음 다들 타입시스템 과도기에 생긴 적폐들이라

[다믜(damhiya)]

솔직히 순수 C에 다형성만 어떻게 잘 끼워넣었으면 ㄹㅇ 킹갓 언어 됐을텐데, 러스트가 먼저 나와버렸다.

[ㅇㄹ(rerereq)]

그게 Cyclone이라고 Rust 조상임

[다믜(damhiya)]

물론 러스트는 다 가지고 있지만, 러스트에서 ownership 빼도 다른 언어보다 쓰기 좋을듯

[다믜(damhiya)]

Cyclone은 ownership비슷한거 없었음?

[ㅇㄹ(rerereq)]

go도 파이써닉한 C 계승자고

[ㅇㄹ(rerereq)]

사이클론은 GC

[ㅇㄹ(rerereq)]

ownership빼면 현시점에선 C처럼 UB투성이 되거나 GC 다는거밖에 없음