{"type":"doc","content":[{"type":"image","attrs":{"textAlign":"center","src":"/assets-api/uploads/6c17bb2d7c6e3a0b.png","alt":null,"title":null}},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"제네릭 프로그래밍(Generic Programming)은 구체적인 효율적인 알고리즘에서 추상화를 수행하여 제네릭 알고리즘을 도출하고,"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"이를 다양한 데이터 표현과 결합하여 유용한 소프트웨어를 생성하는 아이디어를 중심으로 한다.예를 들어, 유한한 시퀀스(finite sequences)에서 동작하는 "},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}},{"type":"bold"}],"text":"제네릭 정렬 알고리즘(generic sorting algorithms)"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"을 정의할 수 있으며,이를 배열(arrays)이나 연결 리스트(linked lists)와 같은 서로 다른 데이터 구조에 적용하여 다양한 정렬 알고리즘을 생성할 수 있다."},{"type":"hardBreak"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"논문에서는 데이터(data), 알고리즘적(algorithmic), 구조적(structural), 표현적(representational) 추상화의 네 가지 유형을 다루고 있으며,"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"이를 활용하여 Ada 라이브러리에서 소프트웨어 컴포넌트를 구축하는 예제를 소개한다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"주요 논점은 제네릭 알고리즘과 그 형식적 명세(formal specification) 및 검증(verification) 방법이며, 이를 퀵소트(quicksort) 알고리즘에서"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"사용되는 "},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}},{"type":"bold"}],"text":"분할 알고리즘(partitioning algorithm)"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"을 예로 들어 설명한다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"논문의 결론은, 제네릭 프로그래밍을 이용한 소프트웨어 컴포넌트 라이브러리가 소프트웨어 생산성 향상에 중요한 이점을 제공할 수 있다는 점을 강조한다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"Alexander A.Stepanov 1988"}]}]},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"hardBreak","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}]},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"제네릭 프로그래밍이란 무엇인가?"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"제네릭 프로그래밍이란 하나의 데이터가 특정 데이터 타입에만 종속되지 않고, 여러 데이터 타입을 가질 수 있는 기술에 중점을 두어"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"재사용성을 높일 수 있는 프로그램 방식이라고 요약할 수 있다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"그럼 우선 우리가 시작해야할 지점은 무엇인가? 그 부분을 찾아보자."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"우리는 왜 제네릭 프로그래밍이 나왔는가에 대해서 시작할 것이다."}]},{"type":"image","attrs":{"textAlign":null,"src":"/assets-api/uploads/7d4ebbd333195e0b.png","alt":null,"title":null}},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"제네릭 프로그래밍의 시작은 1980년대 OOP의 부상속에서 차별화에서 시작했다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"1980년대 초 OOP는 '객체', '클래스'를 중심으로 프로그래밍의 대세를 차지하기 시작했다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"하지만 이러한 접근 방식에는 한계가 엄연히 존재했다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"1. 타입에 종속적인 코드"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":": 특정 데이터 타입에만 작동하는 클래스를 작성한다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"예를들어 정수 배열을 정렬하는 함수와, 문자열 배열을 정렬하는 함수는 같은 알고리즘을 공유함에도 불구하고 별개로 작성해야만 한다"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"2."},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":" "},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"재사용성의 제한"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":": OOP는 상속과 다형성을 통해 일부 문제를 해결할 수 있었지만 여전히 코드의 재사용성에는 제약이 있었다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"제네릭 프로그래밍은 이러한 문제를 극복하기 위해 등장했다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"위에 논문의 서문에도 나왔듯"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"다양한 데이터 표현 방식과 결합할 수 있는 일반적 알고리즘을 얻는데 집중할 수 있다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"제네릭 프로그래밍의 특징은 많지만, 현대의 제네릭 프로그래밍은 다음 3가지를 가진다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"1. 타입 독립성(Type Independence):"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":" 특정 데이터 타입에 종속되지 않음"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"2. 코드 재사용성(Code Reusability)"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":" : 동일 알고리즘이 다른 타입에도 적용될 수 있음"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"3. 효율성(Efficiency)"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":" : 런타임 오버헤드 없이 컴파일 타입에 최적화된 코드를 생성한다."}]},{"type":"image","attrs":{"textAlign":null,"src":"/assets-api/uploads/1beb1e7357a4c917.png","alt":null,"title":null}},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","text":"적어도 나에게 있어서 STL은 프로그래밍이 가능한 유일한 방식을 나타냅니다."},{"type":"hardBreak"},{"type":"text","text":"물론 이것은 대부분의 교과서에서 설명되었고 지금도 그렇게 설명되는 C++ 프로그래밍 방식과는 상당히 다릅니다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"하지만 보세요."},{"type":"hardBreak"},{"type":"text","text":"나는 C++로 프로그램을 작성하려고 했던 것이 아니라,"},{"type":"hardBreak"},{"type":"text","text":"소프트웨어를 다루는 올바른 방법을 찾으려고 했던 것입니다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"나는 오랫동안 내가 말하고 싶은 것을 표현할 수 있는 언어를 찾아왔습니다."},{"type":"hardBreak"},{"type":"text","text":"다시 말해, 내가 무엇을 말하고 싶은지는 이미 알고 있습니다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"그것을 C++로도 말할 수 있고,"},{"type":"hardBreak"},{"type":"text","text":"Ada로도 말할 수 있으며,"},{"type":"hardBreak"},{"type":"text","text":"Scheme으로도 말할 수 있습니다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"나는 언어에 나 자신을 맞추어 적응합니다."},{"type":"hardBreak"},{"type":"text","text":"하지만 내가 말하려는 것의 본질은 언어에 의존하지 않습니다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"지금까지는 C++가 내가 발견한 언어 중에서 그것을 가장 잘 표현할 수 있는 언어입니다."},{"type":"hardBreak"},{"type":"text","text":"이 언어가 이상적인 매체는 아니지만,"},{"type":"hardBreak"},{"type":"text","text":"내가 시도해 본 어떤 언어보다도 더 많은 것을 할 수 있습니다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"그리고 사실 언젠가 제네릭 프로그래밍을 염두에 두고 설계된 언어가 등장하기를 바라고 있습니다."}]}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"제네릭 프로그래밍은 1970년대 후반부터 연구하다가, Ada에서 시작해 Scheme을 거쳐 C++에 정착하여"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"알렉산더 스테파노프는 C++에서"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"알고리즘은 데이터 구조에 독립적이어야한다는 철학을 실현할 라이브러리 STL을 만든다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"사실 C++의 시작이 C에서 OOP를 적용하기 위해서 시작된 것이라는 걸 생각하면 조금 블랙코미디처럼 느껴지기도 한다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"OOP의 핵심 개념의 캡슐화는 데이터와 행위의 결합인데, STL은 그 행위와 데이터를 분리하는데 힘을 쓰기때문에,"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"마치 OOP를 위해 태어난 언어에서 OOP와는 다른 철학을 구현하는 핵심 라이브러리가 탄생했다는 것은 참 재밌는 것이다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"(물론 생각에 따라 정반대의 철학은 아니기때문에 충분히 나올 수 있는 개념이긴했다)"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"실제로 제네릭 프로그래밍이 OOP에 대항해서 나왔다는 사실은 이후에"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"C++ 표준 템플릿 라이브러리(STL)의 창시자인 알렉산더 스테파노프가 말한다"}]},{"type":"image","attrs":{"textAlign":null,"src":"/assets-api/uploads/fcb4c7bdce119bb0.png","alt":null,"title":null}},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"네, STL은 객체 지향적이지 않습니다. 저는 객체 지향성이라는 것이 거의 인공 지능만큼이나 사기라고 생각합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"저는 이 OOP를 하는 사람들로부터 흥미로운 코드 조각을 아직 보지 못했습니다. 어떤 면에서는, 제가 AI에게 불공평하긴 합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"저는 MIT AI 연구소 사람들로부터 많은 것을 배웠고, 그들은 정말 근본적인 작업을 해냈습니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"빌 고스퍼의 Hakmem은 프로그래머가 읽어야 할 최고의 것들 중 하나입니다. AI는 진지한 기반이 없을 수도 있지만,"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"고스퍼와 스톨먼(Emacs), 모세스(Macsyma), 그리고 서스만(가이 스틸과 함께 Scheme)을 만들어냈습니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"저는 OOP가 기술적으로 건전하지 않다고 생각합니다. OOP는 단일 유형에서만 달라지는 인터페이스의 관점에서 세상을 분해하려고 시도합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"실제 문제를 다루려면 여러 유형에 걸쳐있는 인터페이스 패밀리인 다중 정렬 대수가 필요합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"저는 OOP가 철학적으로 건전하지 않다고 생각합니다. OOP는 모든 것이 객체라고 주장합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"그것이 사실이라 할지라도 그다지 흥미롭지 않습니다. 모든 것이 객체라고 말하는 것은 아무것도 말하지 않는 것과 같습니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"저는 OOP가 방법론적으로 잘못되었다고 생각합니다. OOP는 클래스로 시작합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"마치 수학자들이 공리부터 시작하는 것과 같습니다. 당신은 공리부터 시작하지 않습니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"당신은 증명부터 시작합니다. 관련 증명들을 많이 발견했을 때만 공리를 떠올릴 수 있습니다. 당신은 공리로 끝을 맺습니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"프로그래밍에서도 마찬가지입니다. 흥미로운 알고리즘부터 시작해야 합니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"알고리즘을 잘 이해했을 때만 알고리즘이 작동하도록 하는 인터페이스를 떠올릴 수 있습니다."},{"type":"hardBreak"},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":"rgb(102, 102, 102)"}}],"text":"-Alexander A.Stepanov"}]}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"hardBreak","marks":[{"type":"textStyle","attrs":{"color":""}}]},{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"알렉산더는 OOP를 기술적으로나 철학적으로 극렬하게 비판하는데, 사실 현대 언어들의 OOP 개념을 보면 어느정도 이해가 가는 맥락이다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"왜냐하면 C#과 자바등 현대의 언어들은 모든것을 'object'를 상속받는 식으로 설계되어있기때문에, 생성하는 모든것을 Object(객체)라는 관점에서 보기때문이다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"이렇게 되면 객체의 경계가 모호해지기때문에, 이론상의 OOP와 현실적 구현의 간극이 엄연히 존재하게 되는 것이다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"사실 스테파노프의 OOP 비판은 상속Inheritance 에 국한되어있던 90년대 초반의 OOP에 가깝다. 실제로 OOP는 그 초기에 모습에 변화가 되기도했고"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","text":"최근에는 명확한 is-a 관계가 아니면 상속을 가급적 피하라는 것이 현대 아키텍처의 정설이다. 설계적 관점을 넘어 로우레벨(Low-level)로 내려가면 그 이유는 더 명확해진다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"OOP의 다형성(Subtype Polymorphism)은 가상 테이블(vtable)을 거치는 런타임 동적 바인딩을 강제한다. 이는 메모리 포인터 추적에 따른 캐시 미스(Cache Miss)를 유발하여 필연적으로 기계어 레벨의 성능 오버헤드를 발생시킨다. 반면, 제네릭의 매개변수적 다형성(Parametric Polymorphism)은 컴파일 타임에 타입을 확정 짓고 최적화된 코드를 생성한다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"결론적으로 OOP는 '런타임의 유연성'을 얻기 위해 하드웨어의 실행 성능을 희생한 패러다임이며, 제네릭은 '컴파일 타임의 타입 고정'을 통해 시스템의 효율성을 극대화한 기술적 대안이라는 점이 스테파노프의 비판에 힘을 실어준다"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"이 글을 보고 그럼 OOP가 무조건 나쁜 것인가? 라고 볼 사람때문에 부연설명하자면"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"스테파노프의 OOP의 '타입' 문제에 초점을 맞추지만, 실제로 OOP 프로그래밍은 일반적으로 '관계'에 초점을 두기때문에"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"뛰어난 프로그래머의 자신의 학문에 대한 자부심으로 인해서 조금 다른 철학을 깍아 내리는 것이 아닐까하는 것도 사실이다."}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"이제 역사를 알았으니, 이제 어떻게 사용하는지 한번 보자."}]},{"type":"image","attrs":{"textAlign":"center","src":"/assets-api/uploads/50e2cfb0e14fdd01.png","alt":null,"title":null}},{"type":"heading","attrs":{"textAlign":"left","level":2},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}},{"type":"bold"}],"text":"현대에서의 제네릭 프로그래밍"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"textStyle","attrs":{"color":""}}],"text":"제네릭을 구분 짓는데 여러가지가 있다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"기본적으로 여러방식이 나뉘지만 일반적으로 자주 사용되는 분류법으로 어떻게 분리되어있는지만 이야기해보자."}]},{"type":"heading","attrs":{"textAlign":"left","level":2},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"제네릭 구현 방식의 분류"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"제네릭은 타입 처리 시점에 따라 크게 두 가지로 나뉜다."}]},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"정적 제네릭 (Static Generics)"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"컴파일 타임에 타입이 완전히 결정되고, 타입별로 독립된 코드가 생성된다. 런타임에는 제네릭이라는 개념 자체가 존재하지 않는다. 이미 구체적인 타입의 코드로 변환된 상태다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"구현 전략: "},{"type":"text","marks":[{"type":"bold"}],"text":"모노모피제이션 (Monomorphization)"}]},{"type":"codeBlock","attrs":{"language":"cpp"},"content":[{"type":"text","text":"template \nT Add(T a, T b) { return a + b; }\n\nint main()\n{\n int sum = Add(3, 5); // 컴파일러가 Add를 생성\n double d = Add(1.0, 2.0); // 컴파일러가 Add을 별도 생성\n}"}]},{"type":"paragraph","attrs":{"textAlign":"left"},"content":[{"type":"text","text":"컴파일러가 사용된 타입마다 별도의 함수/클래스를 찍어낸다. "},{"type":"text","marks":[{"type":"code"}],"text":"Add"},{"type":"text","text":"와 "},{"type":"text","marks":[{"type":"code"}],"text":"Add"},{"type":"text","text":"은 바이너리에서 완전히 다른 함수다. 런타임 오버헤드가 없고 최적화가 극대화되지만, 사용된 타입 수만큼 코드가 복제되므로 바이너리 크기가 증가할 수 있다."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"대표 언어: C++ 템플릿, Rust, Swift"}]},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"동적 제네릭 (Dynamic Generics)"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"컴파일 타임에 타입을 체크하지만, 런타임에도 제네릭 구조가 유지된다. 타입별로 코드를 복제하지 않고, 하나의 코드가 여러 타입을 처리한다. 다만 런타임에서 타입 정보를 어떻게 다루느냐에 따라 두 가지 전략으로 갈린다."}]},{"type":"heading","attrs":{"textAlign":null,"level":3},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"(a) 타입 소거 (Type Erasure) — Java"}]},{"type":"codeBlock","attrs":{"language":"java"},"content":[{"type":"text","text":"public class Box {\n private T value;\n public void set(T value) { this.value = value; }\n public T get() { return value; }\n}\n \nBox intBox = new Box<>();\nintBox.set(10);\nint value = intBox.get(); //컴파일 타임에 Integer로 강제됨"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"컴파일 타임에 타입을 체크한 뒤, 런타임에는 타입 정보를 삭제한다. 위 코드는 컴파일 후 "},{"type":"text","marks":[{"type":"code"}],"text":"Box