마지막으로 글쓰면

네말도 일리가 있음 기본적으로 용례가 달라지는 건 언어 기반의 구현이 달라져서 그런거라는거 동의함

왜냐하면 C#에서는 클로저를 가객체 만들어서 구현되는 식이기때문에 실제로 언어마다 다른 구현이 맞음.

그리고 C++ 람다가 람다 대수를 따르지 않게 구현되서 엄밀한 말로 따르자면 너말대로 '순수'함수형은 아니라고 할 수 있음.

하지만 언어적 기반 차이로 인해서 달라지는 건 달라지더라도, 구분을 짓는 것은 엄연히가 말해서 목적성의 문제임.

목적성이 지향의 구분점이고. 너가 나보다 C와 C++ 메인의 이해도가 높음을 부정하지 않음. 너는 현업이고 나는 망생이고 기껏해야 이론만 공부했는데 내가 너보다 잘 알겠냐? 아님.

근데 그건 실 사용 용례고, 적어도 이론 책을 읽고 공부한 이상 그 이론 분야에서는 나도 할 말을 할 수 있다 생각함.

너의 예시는 이거임

'이 A라는 곤충과 B라는 곤충은 동일한 구조와 모양을 띄고 있다. 그렇기때문에 동일한 종이다'

하지만 생물학적으로 동일한 구조와 모양을 띄고 있다고 하더라도 종으로 구분지으면 다를 수가 있음.

서양 너구리 라쿤과 너구리는 비슷하게 생겼지만

너구리는 개종류고, 라쿤은 곰종류다.

실 사용 용례는 너 말대로 FP로 비슷하게 사용됨이 맞음.

하지만 제네릭의 경우엔 컴파일 시점에서 구체적 타입 결정이 안되고, 타입 매개변수를 사용하여 코드를 작성하기때문에 실제 실행시점에 어떤 타입이 사용될지 알 수없음.

함수형은 예측 가능성이 있어야하는데, 이게 어떻게 함수형이라고 할 수 있음?

여튼 너가 나보다 더 뛰어난 프로그래머라는 걸 부정하지 않음. 하지만 적어도 이부분에서 나도 실제로 써본 경험이 있는데 날 너무 무시하는게 아닌가 싶다.

여기까지한다. 평소에 많은 가르침을 줬기때문에 이 이상 서로 싸움 해봤자 감정만 상한다 생각하고

니 말이 완전히 틀렸다고 생각 안함. 하지만 나도 내 말이 틀렸다 생각 안함.

서로 생각의 차이를 존중하고 넘어가자.