[논문 리뷰] Comparative study of the Pros and Cons of Programming languages Java, Scala, C++, Haskell, VB .NET, AspectJ, Perl, Ruby, PHP & Scheme - a Team 11 COMP6411-S10 Term Report

Venkatreddy Dwarampudi, Shahbaz Singh Dhillon외 3명|arXiv (Cornell University)|2010. 08. 20.

Software Engineering Research참고 문헌 7인용 수 6

한 줄 요약

이 논문은 현대 프로그램 개발과 관련된 10가지 기준에서 Java, Scala, C++, Haskell, VB .NET, AspectJ, Perl, Ruby, PHP, 그리고 Scheme의 10개 프로그래밍 언어를 종합적으로 비교 분석한다. 연구는 언어의 고유한 설계와 기능에 기반해 각 언어가 특정 도메인에서 뛰어난 성능을 발휘함을 보여주며, 프로그래밍 언어의 적합성을 구조화된 기준 기반 평가로 평가한다.

ABSTRACT

With the advent of numerous languages it is difficult to realize the edge of one language in a particular scope over another one. We are making an effort, realizing these few issues and comparing some main stream languages like Java, Scala, C++, Haskell, VB .NET, AspectJ, Perl, Ruby, PHP and Scheme keeping in mind some core issues in program development.

연구 동기 및 목표

• 현대 프로그램 개발의 맥락에서 널리 사용되는 10개의 프로그래밍 언어의 장단점을 체계적으로 평가하고 비교하는 것.
• 타입 안정성, 기능형 프로그래밍 지원, UI 개발과 같은 핵심 개발 기준에서 각 언어의 강점과 한계를 규명하는 것.
• 실제 프로그래밍 요구사항과 관련된 언어 특성을 분석함으로써 특정 소프트웨어 개발 작업에 적합한 언어 선택을 안내하는 것.
• 여러 개의 명확히 정의된 기준을 바탕으로 프로그래밍 언어를 비교하는 체계적이고 근거 기반의 프레임워크를 제공하는 것.
• 언어 고유의 능력과 제약 조건을 바탕으로 개발자와 연구자가 특정 프로젝트에 가장 적합한 언어를 선택할 수 있도록 지원하는 것.

제안 방법

• 연구는 타입 안정성, 메모리 관리, AOP 지원, 기능형 프로그래밍, 선언형 프로그래밍, 배치 스크립팅, UI 개발, 성능, 코드 간결성, 학습 곡선의 10개의 사전 정의된 기준에서 각 언어를 평가한다.
• 각 기준에 대해 언어의 네이티브 기능, 라이브러리 지원, 언어 설계, 런타임 동작을 기반으로 평가한다.
• 정적 타이핑, 기능적 구조, 상호 운용성 등의 능력을 평가하기 위해 언어 문서, 학술 자료, 구현 예제를 활용한다.
• 모든 기준에서의 평가 결과를 요약하기 위해 비교 매트릭스를 구성하여 언어 간의 직접 비교를 가능하게 한다.
• 람다 표현식, 타입 추론, AOP 어노테이션 등의 실제 언어 기능과 코드 예제를 사용하여 언어 능력에 대한 주장의 타당성을 검증한다.
• 일반 목적 언어(예: Java, C++)와 도메인 특화 또는 기능형 언어(예: Haskell, Scheme)를 모두 포함하여 다양한 프로그래밍 패러다임을 포괄적으로 다룬다.

실험 결과

연구 질문

• RQ1 기능형 프로그래밍 지원가 가장 뛰어난 프로그래밍 언어는 무엇이며, 고계수 함수와 불변성의 개념을 어떻게 다르게 구현하는가?
• RQ2 언어 간에 액세서리 기반 프로그래밍(AOP) 지원 수준는 어떻게 다를까? 그리고 교차 관심사의 모듈화에 어떤 영향을 미치는가?
• RQ3 UI 프로토타입 개발에서 각 언어의 상대적 이점은 무엇이며, GUI 생성에 가장 생산적인 환경을 제공하는 언어는 무엇인가?
• RQ4 배치 스크립팅 및 시스템 자동화 작업에서 언어는 어떻게 다를까? 특히 이식성과 사용 용이성 측면에서 어떻게 다른가?
• RQ5 정적 타이핑, 메모리 관리, 코드 간결성 등의 언어 기능이 개발자 생산성과 소프트웨어 신뢰성에 얼마나 큰 영향을 미치는가?

주요 결과

• Haskell, Scala, 그리고 Scheme는 기능형 프로그래밍 지원 측면에서 가장 뛰어나며, Haskell은 순수 기능형 세미틱스와 강력한 정적 타이핑을 제공한다.
• Scala와 Java는 상호 운용성이 매우 높으며, Scala는 Java 대비 2~3배 줄어든 코드 라인 수로 유사한 기능을 구현할 수 있는 타입 안정성 있는 코드를 작성할 수 있다.
• Perl은 시스템 자동화를 위한 경량적이고 이식 가능하며 표현력이 풍부한 문법 덕분에 배치 스크립팅에 가장 적합하다.
• VB .NET과 Java는 각각 Windows Forms와 Swing과 같은 성숙한 프레임워크를 통해 GUI 개발에 강력한 지원을 제공한다.
• AspectJ는 가장 성숙하고 네이티브로 구현된 AOP 솔루션인 반면, C++와 Ruby는 유사한 기능을 달성하기 위해 외부 라이브러리나 확장 기능이 필요하다.
• 다수의 언어에서는 선언형 프로그래밍이 외부 도구나 인터프리터를 통해 가능하지만, Scheme와 Haskell은 Schelog 및 Kanren와 같은 확장 기능을 통해 가장 네이티브이고 표현력 있는 지원을 제공한다.