[論文レビュー] Unicode in Domain-Specific Programming Languages for Modeling & Simulation ScalaTion as a Case Study

Michael E. Cotterell, John A. Miller+1 more|arXiv (Cornell University)|Dec 8, 2011

Model-Driven Software Engineering Techniques参考文献 15被引用数 3

ひとこと要約

本論文では、スカラで構築された、モデル化とシミュレーションを目的とした埋め込み型ドメイン固有言語（DSL）であるScalaTionを提示する。このDSLは、数学的直感的な構文を可能にするためにUnicodeを活用している。スカラのUnicode識別子、演算子、暗黙の変換のサポートを活用することで、ドメイン専門家は教科書の数学的表記に近く、簡潔で読みやすいコードを記述できる。これにより、シミュレーションおよび統計的モデリングにおける使いやすさと表現力が著しく向上する。

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.

研究の動機と目的

• ドメイン固有の表記法を統合することで、シミュレーションおよびモデリングコードの可読性とドメイン専門家へのアクセス性を高めること。
• スカラのような静的型付けで関数型オブジェクト指向の言語におけるUnicodeサポートが、より自然で簡潔なDSLを可能にすることを示すこと。
• スカラのような一般目的言語にDSLを埋め込むことで、パフォーマンスと表現力の両立を実現するとともに、型安全性を維持できることを示すこと。
• 既存のDSLにUnicode演算子や記号を統合する実用的な技術を検討し、互換性やパフォーマンスに悪影響を与えないようにすること。
• 今後の拡張として、IDEサポート、LaTeXとの相互運用性、コンパイラプラグインを提案し、使いやすさとツールチェーンの向上を図ること。

提案手法

• 識別子、演算子、リテラルにおけるスカラのUnicodeサポートを活用し、ドメイン固有の記号（例：∑, ∫, ∈, ⊗）を定義すること。
• スカラのミックスインコンポジションを活用して、オブジェクトスコープにUnicode関数や演算子を組み込み、既存クラスの柔軟な拡張を可能にすること。
• 暗黙の変換を用いて、既存のスカラ型にUnicode演算子を追加すること（例：∈ を用いた集合の属性チェック）。
• スカラ上に統計的分布と操作を扱えるDSLレイヤーを設計し、なじみのある数学的表記を可能にすること。
• 正規分布、ポアソン分布、ガンマ分布などの統計的分布のライブラリを実装し、ランダム変数生成のためのVariateトレイトをミックスインすること。
• スカラの型システムと高階関数を活用して、型安全性を確保するとともに、なめらかで読みやすいDSL式を実現すること。

実験結果

リサーチクエスチョン

• RQ1 Unicodeをどのように効果的に活用することで、シミュレーションおよびモデリング分野におけるドメイン固有言語の可読性と表現力を向上させられるか？
• RQ2 スカラにおける、識別子、演算子、関数へのUnicodeの統合を可能にする技術的メカニズムは何か？
• RQ3 DSLにUnicodeを活用することで、ドメイン専門家が数学的表記とコードの間の認知的ギャップをどの程度縮小できるか？
• RQ4 型安全性、パフォーマンス、拡張性を維持した上で、UnicodeベースのDSLをどのように実装できるか？
• RQ5 Unicode強化DSLの広範な採用を支えるために、どのようなツールチェーン拡張（例：IDEプラグイン、LaTeX変換）が必要か？

主な発見

• スカラにおけるUnicodeサポートにより、教科書の数学的表記に近く、コードの可読性が著しく向上するDSLの作成が可能になった。
• スカラの暗黙の変換とミックスインコンポジションの活用により、既存の型にUnicode演算子を透明に追加でき、後方互換性を損なわずに実現できた。
• ScalaTion DSLは、正規分布、ポアソン分布、ガンマ分布などの広範な統計的分布をUnicode演算子とともに実装し、簡潔で表現力豊かなシミュレーションコードの作成を可能にした。
• ∑、∫、∈、⊗といったUnicode演算子のDSLへの統合により、ユーザーは構文的に馴染みやすく、意味的に正確なコードを記述できるようになった。
• IDEプラグインおよびLaTeX相互運用性に関する予備的作業の結果、開発生産性とドキュメンテーションワークフローの向上に期待が持てる。
• Unicodeサポートを備えた一般目的言語にDSLを埋め込むアプローチは、高性能でドメイン特化された計算に実用的かつ効果的であることが示された。