[논문 리뷰] Unicode in Domain-Specific Programming Languages for Modeling & Simulation ScalaTion as a Case Study

Michael E. Cotterell, John A. Miller외 1명|arXiv (Cornell University)|2011. 12. 08.

Model-Driven Software Engineering Techniques참고 문헌 15인용 수 3

한 줄 요약

이 논문은 스칼라에서 구현된 도메인 특화 언어(DSL)인 ScalaTion을 제시한다. 이 DSL은 유니코드를 활용해 수학적으로 직관적인 문법을 제공한다. 스칼라의 유니코드 식별자, 연산자, 암시적 전환 기능을 활용함으로써 도메인 전문가들이 교과서 수학 표기와 유사한 간결하고 가독성 있는 코드를 작성할 수 있게 되어, 시뮬레이션 및 통계 모델링 분야에서 사용성과 표현력을 크게 향상시킨다.

ABSTRACT

As recent programming languages provide improved conciseness and flexibility of syntax, the development of embedded or internal Domain-Specific Languages has increased. The field of Modeling and Simulation has had a long history of innovation in programming languages (e.g. Simula-67, GPSS). Much effort has gone into the development of Simulation Programming Languages. The ScalaTion project is working to develop an embedded or internal Domain-Specific Language for Modeling and Simulation which could streamline language innovation in this domain. One of its goals is to make the code concise, readable, and in a form familiar to experts in the domain. In some cases the code looks very similar to textbook formulas. To enhance readability by domain experts, a version of ScalaTion is provided that heavily utilizes Unicode. This paper discusses the development of the ScalaTion DSL and the underlying features of Scala that make this possible. It then provides an overview of ScalaTion highlighting some uses of Unicode. Statistical analysis capabilities needed for Modeling and Simulation are presented in some detail. The notation developed is clear and concise which should lead to improved usability and extendibility.

연구 동기 및 목표

• 도메인 전문가들이 이해하기 쉽게 시뮬레이션 및 모델링 코드의 가독성과 접근성을 높이기 위해 도메인 특화 표기법을 통합하는 데 목적을 둔다.
• 스칼라와 같은 정적 타입, 기능적-객체지향 언어에서의 유니코드 지원이 더 자연스럽고 간결한 DSL을 가능하게 하는 방식을 보여주는 것.
• 일반 목적 언어인 스칼라에 DSL를 통합함으로써 성능과 표현력을 유지하면서도 타입 안전성을 확보할 수 있음을 보여주는 것.
• 기존 DSL에 유니코드 연산자와 기호를 통합하면서 호환성과 성능을 해치지 않는 실용적인 기법을 탐색하는 것.
• IDE 지원, 레이텍 상호운용성, 컴파일러 플러그인과 같은 향후 확장 사항을 제안하여 사용성과 도구 생태계를 향상시키는 것.

제안 방법

• 식별자, 연산자, 리터럴에서 스칼라의 유니코드 지원을 활용해 도메인 특화 기호(예: ∑, ∫, ∈, ⊗)를 정의한다.
• 스칼라의 믹스인 조합 기능을 사용해 객체 스코프에 유니코드 함수와 연산자를 주입함으로써 기존 클래스의 유연한 확장을 가능하게 한다.
• 암시적 전환을 활용해 기존 스칼라 타입에 유니코드 연산자를 추가함(예: 집합 소속 여부를 확인하기 위해 ∈ 추가).
• 기존 수학적 표기법을 사용할 수 있도록 스칼라 위에 통계 분포와 연산을 지원하는 DSL 레이어를 설계한다.
• 정규분포, 포아송분포, 감마분포 등의 통계 분포 라이브러리를 구현하며, 난수 생성을 위한 Variate 트레이트를 혼합한다.
• 스칼라의 타입 시스템과 고계 함수를 활용해 타입 안전성을 확보하면서도 유창하고 가독성 있는 DSL 표현식을 가능하게 한다.

실험 결과

연구 질문

• RQ1 유니코드는 시뮬레이션 및 모델링 분야의 도메인 특화 언어에서 코드의 가독성과 표현력을 향상시키는 데 어떻게 효과적으로 활용될 수 있는가?
• RQ2 스칼라에서 식별자, 연산자, 함수에 유니코드 기호를 원활하게 통합하는 데에 사용되는 기술적 메커니즘은 무엇인가?
• RQ3 DSL에서 유니코드를 사용할 경우 도메인 전문가가 수학적 표기법과 코드 사이의 인지적 간격을 어느 정도 줄일 수 있는가?
• RQ4 유니코드 기반 DSL는 타입 안전성, 성능, 확장성을 유지하면서 어떻게 구현할 수 있는가?
• RQ5 유니코드 기반 DSL의 광범위한 보급을 지원하기 위해 필요한 도구 확장 사항(예: IDE 플러그인, 레이텍 변환)은 무엇인가?

주요 결과

• 스칼라의 유니코드 지원을 통해 교과서 수학 표기와 유사한 DSL를 구축할 수 있었으며, 이는 도메인 전문가의 코드 가독성 향상에 크게 기여했다.
• 스칼라의 암시적 전환과 믹스인 조합 기능을 활용해 기존 타입에 유니코드 연산자를 투명하게 추가할 수 있었으며, 이는 이전 호환성에 영향을 주지 않았다.
• ScalaTion DSL은 정규분포, 포아송분포, 감마분포 등 다양한 통계 분포를 유니코드 연산자와 함께 성공적으로 구현하여 간결하고 표현력 있는 시뮬레이션 코드 작성을 가능하게 했다.
• ∑, ∫, ∈, ⊗ 등의 유니코드 연산자 통합을 통해 사용자는 문법적으로 익숙하고 의미적으로 정확한 코드를 작성할 수 있었다.
• IDE 플러그인 및 레이텍 상호운용성에 대한 초도 작업은 개발자 생산성 향상과 문서화 워크플로우 개선에 유망한 전망을 보였다.
• 유니코드 지원이 있는 일반 목적 언어인 스칼라에 DSL를 통합하는 방식은 고성능 도메인 특화 계산을 위한 실현 가능하고 효과적인 방법임을 입증했다.