R 언어의 객체지향과 함수형 프로그래밍 통합 고찰

본 논문은 R 프로그래밍 언어에서 객체지향 프로그래밍(OOP)과 함수형 프로그래밍(FP)이 어떻게 구현되고 활용되는지를 체계적으로 검토한다. 서론에서는 R이 통계 방법론을 전달하는 주요 매체로 자리 잡은 배경을 설명하고, R 패키지 생태계가 빠르게 성장함에 따라 견고한 프로그래밍 패러다임의 필요성을 강조한다. 2장에서는 FP와 OOP의 기본 개념을 각각 정리한다. FP는 “함수 정의가 프로그래밍의 핵심”, “함수 호출은 입력에만 의존”, “부작용이 없어야 함”이라는 세 가지 원칙을 제시한다. R은 이러한 원칙을 부분적으로 구현하지만, 전역 상태(예: 난수 시드)와 같은 비순수 요소가 존재한다는 점을 지적한다. OOP는 “모든 것이 객체”, “클래스는 속성과 메서드 집합”, “상속을 통한 재사용”, “클래스에 바인딩된 메서드 호출”이라는 네 가지 핵심 아이디어를 제시한다. 3장에서는 R의 평가 모델과 두 패러다임의 관계를 상세히 분석한다. R은 “모든 것이 객체이며, 모든 것이 함수 호출이다”라는 두 슬로건을 통해, 객체와 함수가 동일한 내부 구조( C 레벨 구조체)로 구현되고, 모든 연산이 함수 호출 형태로 평가된다고 설명한다. 이름과 환경의 조합이 객체에 대한 레퍼런스를 형성하며, 로컬 레퍼런스와 전역 레퍼런스가 구분된다. 복제(copy‑on‑write) 메커니즘을 통해 부작용을 최소화하고, 함수형 프로그래밍의 부작용 회피 원칙을 부분적으로 지원한다. R에서 구현된 OOP 시스템은 세 가지로 구분된다. 첫 번째는 S3 시스템으로, 가장 단순한 형태의 제네릭 함수와 메서드 테이블을 사용한다. 메서드 디스패치는 함수 이름과 첫 번째 인자의 클래스에 기반하며, 형식 검사가 거의 없고, 빠른 프로토타이핑에 적합하다. 두 번째는 S4 시스템으로, 클래스 정의에 슬롯과 상속 관계를 명시하고, 다중 디스패치를 지원한다. 이는 대규모 패키지에서 엄격한 타입 검사가 필요할 때 활용된다. 세 번째는 Reference Class(또는 R5)이며, 실제 mutable 객체를 제공한다. 메서드가 객체 내부 상태를 직접 변경할 수 있어 전통적인 OOP와 가장 유사하지만, 메모리 관리와 복제 비용이 증가한다는 단점도 있다. 각 시스템은 역사적 흐름 속에서 점진적으로 추가되었으며, 기존 코드를 유지하면서 새로운 기능을 도입하는 “점진적 진화” 전략을 보여준다. 논문은 또한 FP와 OOP가 통계 모델링에 어떻게 적용되는지를 사례 중심으로 논의한다. `lm()` 함수 호출 예시를 통해, 함수형 관점에서 모델 적합이 입력 데이터와 파라미터에 대한 순수 함수로 이해될 수 있음을 보여준다. 동시에, 모델 객체가 S3 클래스(`"lm"`)로 구현되어, `summary()`, `predict()` 등 메서드가 제네릭 함수 형태로 제공됨을 설명한다. 이러한 구조는 사용자가 모델 객체를 직관적으로 다루면서도, 내부 구현을 교체하거나 확장하기 쉬운 장점을 제공한다. 마지막으로, R이 FP와 OOP를 동시에 지원함으로써 얻는 장점과 한계를 정리한다. FP는 재현 가능하고 검증 가능한 분석 파이프라인을 제공하지만, R이 완전한 순수 함수를 강제하지 않음으로써 기존 코드와의 호환성을 유지한다. OOP는 복잡한 데이터 구조와 알고리즘을 캡슐화하고, 패키지 간 인터페이스를 표준화하지만, 세 가지 서로 다른 OOP 구현이 혼재함으로써 학습 곡선이 가파를 수 있다. 결론에서는 R 사용자와 패키지 개발자가 문제의 성격에 맞는 패러다임을 선택하고, 필요에 따라 FP와 OOP를 혼합해 사용하는 것이 가장 실용적이라고 제언한다.