[논문 리뷰] How to turn a scripting language into a domain specific language for computer algebra

Raphaël Jolly, Heinz Kredel|ArXiv.org|2008. 11. 06.

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

한 줄 요약

이 논문은 Python, Ruby, Groovy, 또는 Scala와 같은 현대 스크립팅 언어를 자바 기반 컴퓨터 대수 시스템(CAS)의 인터랙티브 프론트엔드로 사용하여, 연산자 오버로딩과 동적 기호 처리를 통해 직관적인 기호 수학을 가능하게 한다. 주요 발견은 네 가지 언어 모두가 최소한의 구현 오버헤드로 CAS를 위한 도메인 특화 언어(DSL)로 효과적으로 기능할 수 있으며, 자바 라이브러리 통합이 원활하고 종이와 연필로 수식을 작성하는 것처럼 표현력 있는 수학적 표기법을 제공한다는 것이다.

ABSTRACT

We have developed two computer algebra systems, meditor [Jolly:2007] and JAS [Kredel:2006]. These CAS systems are available as Java libraries. For the use-case of interactively entering and manipulating mathematical expressions, there is a need of a scripting front-end for our libraries. Most other CAS invent and implement their own scripting interface for this purpose. We, however, do not want to reinvent the wheel and propose to use a contemporary scripting language with access to Java code. In this paper we discuss the requirements for a scripting language in computer algebra and check whether the languages Python, Ruby, Groovy and Scala meet these requirements. We conclude that, with minor problems, any of these languages is suitable for our purpose.

연구 동기 및 목표

• 자바 기반 컴퓨터 대수 시스템(CAS)에 대한 인터랙티브하고 사용자 友好的한 스크립팅 인터페이스의 부족을 해결한다.
• 기존에 잘 정립된 스크립팅 언어를 재사용하여 커스텀 DSL의 한계를 극복하고, 강력한 자바 상호운용성을 확보한다.
• 종이와 연필의 표기법을 그대로 반영하는 방식으로 자연스럽고 직관적인 수식 입력 및 조작을 가능하게 한다.
• 다양한 현대 스크립팅 언어가 CAS 프론트엔드를 구현하는 데 적합한지 평가하고 비교한다.
• 고수준의 인터랙티브 스크립팅 환경과 기호 계산 라이브러리를 통합하기 위한 재사용 가능한 프레임워크를 구축한다.

제안 방법

• Python, Ruby, Groovy, Scala와 같은 스크립팅 언어를 대상으로 CAS의 핵심 요구사항인 기호 정의, 연산자 오버로딩, 기본 타입의 확장 기능을 평가한다.
• 각 언어에서 기호 생성과 산술 연산자 오버라이딩을 시연하기 위해 토이 코드 기반 프로토타입을 구현한다.
• 기존 자바 기반 CAS 라이브러리(예: JAS, meditor)를 스크립팅 환경에서 직접 접근할 수 있도록 자바 인터옵 기능을 활용한다.
• 강제 변환 및 연산자 해석 전략을 여러 가지로 탐색한다: Python의 역방향 메서드 호출, Ruby의 명시적 강제 변환 메서드, Groovy의 컨텍스트 기반 연산자 바인딩, Scala의 암시적 뷰 기반 변환.
• 문자열 기반 수식을 네이티브 대수 타입(예: PolynomialRing, Expression)으로 매핑하기 위한 래퍼 클래스와 팩터리 메서드를 설계한다.
• 기능 완전성 확보를 위한 최소한의 코드 수정으로도 가능한 성능, 표현력, 유지보수성 간의 상충 관계를 평가한다.

실험 결과

연구 질문

• RQ1 현대 스크립팅 언어를 효과적으로 인터랙티브 컴퓨터 대수 시스템을 위한 도메인 특화 언어(DSL)로 재사용할 수 있는가?
• RQ2 스크립팅 언어가 CAS 환경에서 직관적인 기호 수학을 지원하기 위해 필수적으로 가져야 할 언어 기능은 무엇인가?
• RQ3 다양한 스크립팅 언어(파이썬, 루비, 그로비, 스칼라)는 기호 수식의 연산자 오버로딩과 타입 강제 변환을 어떻게 지원하는가?
• RQ4 이들 언어에서 기본 타입을 확장하거나 커스텀 강제 변환 메커니즘을 구현할 경우 성능 및 유지보수성 간의 상충 관계는 어떻게 나타나는가?
• RQ5 기존 자바 기반 CAS 라이브러리를 주로 재구현하지 않고도 스크립팅 프론트엔드를 통해 어떻게 노출시킬 수 있는가?

주요 결과

• 평가한 네 가지 스크립팅 언어—파이썬, 루비, 그로비, 스칼라—모두 최소한의 노력으로 자바 기반 컴퓨터 대수 시스템의 프론트엔드로 효과적으로 기능할 수 있다.
• 파이썬은 주로 역방향 메서드 오버로딩(__radd__, __rmul__ 등)을 통해 수식과 숫자 간의 원활한 상호작용을 가능하게 하여 가장 낮은 복잡도로 필요한 功能를 제공한다.
• 루비는 명시적 `coerce()` 메서드를 통해 강제 변환 기능을 제공하며 기본 클래스를 확장할 수 있지만, 이는 성능 비용을 수반할 수 있다.
• 그로비는 연산자 바인딩을 위해 컨텍스트 블록이 필요하여 인터랙티브 사용에 제한이 있으며, 기본 타입을 확장하려면 연산자에 대한 저수준 재구현이 필요하다.
• 스칼라는 뷰 바인드와 암시적 변환을 통해 강제 변환에 깔끔하고 확장 가능한 메커니즘을 제공하여 복잡한 대수 타입 체계에 매우 적합하다.
• 본 연구는 소수의 구현 조정만으로 네 언어 중 어느 것도 기호 계산을 위한 사용 가능한 DSL로 성공적으로 전환할 수 있으며, 표현력 있고 읽기 쉽게, 인터랙티브한 기호 계산을 가능하게 한다고 결론을 내린다.