존나긁히게 써놨네 ㅋㅋ


데이터추상 / 프로시저 추상 <- 이거 SICP에서만 쓰는말인데

SICP에서 그렇게 가르치드나? 이 미친년아


oop의 adhoc 다형성 <- 애드혹 다형성이 뭔지는 알고 말하는건가?

하스켈에도 있는게 adhoc 폴리모피즘이다

그리고 이건 내가 아는 한 정적타입분석에서나 사용가능한 말이고

니가생각하는게 자바의 동적디스패칭을 말하는거면 한참을 빗겨나갔다


학술적으로 쓰레기? 대체 어디서 그런말을 함?

당장 Scala만 봐도 공변타입들로 곡예하면서 adhoc 다형성 타입안전하게 잘만 쓰고있는데?


오랜만에 유익한 글 보나 했는데

그냥 학식충이 언어 몇개 배우고 그럴듯한 용어 배워서 아는척하고있는거였네