ML에서 제네릭이 시작됐는데 ML을 보통 멀티 패러다임이라함

[ㅆㅇㅆ(124.216)]

영어 위키봐도 똑같음.

걍 멀티 패러다임 언어고 제네릭은 수학적 다형성->범주론을 기반으로 하고

함수형은 람다 계산법에서시작된거라 다름.

둘 다 상호보완적으로 쓰이지만 다름

[프갤러 1(183.109)]

그 바탕이 람다대수에 맞게 설계되어 있잖아 스트로스트롭이 가져오면서 함수형 가상머신없이 만드니 람다대수 무시하고 템플릿 만든거고 람다도 마찬가지고 제너릭은 그런 템플릿써서 만드는 컨테이너 방법론이고 ml에서는 애초에 그런식으로 말을 붙이지 않아 그냥 원래 있는건데 뭔 말을 붙여서 설명할까 oop 안하면 디자인패턴 대부분 무의미한거랑 같은 거다

[ㅆㅇㅆ(124.216)]

결국 목적성이 다르다. FP의 방법론을 많이 참조한건 맞다 .하지만 C++가 FP인가? 엄연히 스트롭스트룹은 함수형과 제네릭을 구분을 두고 이야기한다. 물론 너 말대로 참고 많이했다는 걸 부정하지 않음. 둘이 많은 상황에서 같이 쓰는게 맞다 생각함. 근데 그걸 같다라고 아무도 이야기를 안함

[ㅆㅇㅆ(124.216)]

니 말은 일리가 있음. 그건 공학적인 관점에서 사용성에서의 차이지 엄연히 목적성이 다름. 너가 하는 말은 비슷하게 사용되니까 같다라고 하는거임. 곤충의 모양이 비슷하다고 그 곤충이 같은 종이냐에 대해서는 No라고 말해야하듯.

[프갤러 1(183.109)]

부분집합이지 같은게 아니라 람다대수 기반으로 동작하는 ml에서 만든 특정 문법을 그냥 카피해서 c++식으로 만들다보니 생겨난 부산물일뿐

[ㅆㅇㅆ(124.216)]

아님. 엄연히 처음에는 그렇게 생겼다지만 이후에 확실히 분리됨. 그니까 니 말은 이거임 '처음에 그렇게 생각됐는데 나중에 그렇게 분파됐지만 처음 시작은 그러니까 걍 무조건 그거다' 이 말은 너무 부정확함

[ㅆㅇㅆ(124.216)]

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

[프갤러 1(183.109)]

용례가 달라지는건 언어 기반이 다르고 구현이 달라서 그런거라니까 그러니까 니말대로 하면 람다도 fp가 아닌거라고 c++ 람다는 람다대수 따르지도 않고 엄밀히 말하면 fisrt class도 아님 그러니 c++ 람다는 함수형 언어의 람다와 다르다고 하는 말이야

[ㅆㅇㅆ(124.216)]

니가 나보다 FP를 더 잘알고 더 잘쓴다는건 인정한다. 하지만 기본적으로 용례가 달라지는 이유가 기본적으로 목적성 차이가 있기때문임. 근데 이런 목적성이 다른데 왜 똑같다라고 말할 수 있냐. 이거야말로 너무 나간거임 너는 FP의 이해도 깊고, FP적인 사고방식을 하고, 나는 너한테 따라갈 수 없음. 인정함. 너가 나보다 FP에 대해서 훨씬 잘 앎. 근데 제네릭과 FP는 나말고도 다른 사람들도 구분 두고 있고, 지향 주안성도 다르다고 두고 있기때문에 이부분에서는 내가 맞다 생각한다. 여튼 너가 갑자기 나보고 모른다고해서 욱했는데, 적어도 제네릭 프로그래밍에 대해선 내 말이 맞다 생각함

[프갤러 2(210.0)]

사촌형한테 투표거부짤 보여줬더니.. 낄낄 거림 ㅡㅡ

[프갤러 2(210.0)]

내 소중한 한표 반드시 거부 한다

[프갤러 2(210.0)]

명령에 흔들림없이 반응하는 개체는 컴퓨터와 문서로 명시된 법률로 족하다. 인간관계에 명령체계와 불문률이 작동하는 사회는 불합리하며, 느그들이 주장하는 인권과도 부합하지 않는다. 명령체계로 유지되는 군대와 수직구조의 사기업은 해체해야 마땅하다 댓글노동자 여러분! 투표거부합시다. 지 총 대선 투표율 40%를 완성하여 직접민주제를 위한 국민협의체를 구성하고 정권인수하자! 투표가 범죄다! 40%대의 투표율을 향해서! 다 집어치고 즉시, 투표거부해라!

[복족냥(escatrgot)]

범주론 아냐, functor이런건 함수형 프로그래밍 제네릭 프로그래밍은 추상대수학 의 군환체에서 유래된거 무슨타입인지는 모르겠는 A, B 덧셈, 곱셈 가능하고 그 결과또한 A, B가 속한 타입에 닫혀있음 대표적인 환 대수구조 이런식임