[論文レビュー] An Integrated Development Environment for Declarative Multi-Paradigm Programming

Michael Hanus, Johannes Koj|ArXiv.org|Nov 14, 2001

Logic, programming, and type systems参考文献 18被引用数 14

ひとこと要約

本稿では、関数型、論理型、並列プログラミングの特徴を活用して、すべてをCurryで実装した宣言的で拡張可能な統合開発環境（IDE）CIDERを提示する。CIDERは、型、重複するルール、依存関係グラフなどのプログラム特性を分析するツールを統合しており、一等関数と遅延評価を用いた拡張性により、モジュラーで再利用可能な分析コンponentと、効率的なオンデマンド計算を実現している。

ABSTRACT

In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is a graphical environment to support the development of Curry programs by providing integrated tools for the analysis and visualization of programs. CIDER is completely implemented in Curry using libraries for GUI programming (based on Tcl/Tk) and meta-programming. An important aspect of our environment is the possible adaptation of the development environment to other declarative source languages (e.g., Prolog or Haskell) and the extensibility w.r.t. new analysis methods. To support the latter feature, the lazy evaluation strategy of the underlying implementation language Curry becomes quite useful.

研究の動機と目的

• 宣言的で多パラダイムなプログラミングのための統合的で拡張可能な開発環境を提供すること。この環境は、関数型、論理型、並列プログラミングの特徴を統合する。
• グラフィカルなインターフェースを通じて、プログラムの解析と可視化を支援することにより、開発者が型、重複するルール、完全性、依存関係、無効コードを検査できるようにすること。
• 言語に依存しない中間表現（FlatCurry）を介して、他の宣言的言語（例：Prolog、Haskell）への環境の適応を可能にすること。
• ターゲット言語そのもので、高度な言語機能（高階関数や遅延評価など）を活用して、フル機能を備えたIDEを実装する可能性を示すこと。
• 新しい分析手法を単に分析関数の構成リストを拡張するだけで追加できる、拡張可能なツール統合のプラットフォームを構築すること。

提案手法

• CIDERは、すべてをCurryで実装しており、Tcl/TkベースのGUIライブラリとメタプログラミング技術を用いてグラフィカルインターフェースを構築している。
• 環境は、複数のソース言語（Curry、Prolog、Haskellなど）をサポートできる共通フォーマットとして、中間表現のFlatCurryを使用している。
• 分析ツールは一等関数として実装され、構成リスト（`anaList`）に格納されており、名前から関数実装へのマッピングを提供することで、動的統合が可能になっている。
• 遅延評価が活用されており、分析結果の必要な部分のみが計算されるため、効率が向上し、複雑な解析の明確でモジュラーな記述が可能になっている。
• グラフィカルデバッガは、メタインタプリタを用いて式の評価を可視化しており、依存関係グラフはdaVinciグラフ可視化ツールを介してレンダリングされている。
• 拡張性は、`anaList`構成の変更と、新しいソース言語をFlatCurry形式に変換するフロントエンドパーサの置き換えによって達成されており、コアシステムへの変更は最小限に抑えられている。

実験結果

リサーチクエスチョン

• RQ1 宣言的で多パラダイムな言語向けに、ターゲット言語そのもので高度な言語機能を活用して、フル機能を備えたIDEを実装できるか？
• RQ2 型、完全性、依存関係などのプログラム特性の分析ツールを、単一の環境にどのようにモジュラーに統合できるか？
• RQ3 共通の中間表現を用いることで、1つのIDEが複数の宣言的言語にどの程度適応可能か？
• RQ4 関数型プログラミングの特徴、特に高階関数と遅延評価が、洗練された、効率的で拡張可能なIDE実装に果たす役割は何か？
• RQ5 開発環境は、統合的で拡張可能なフレームワークを通じて、プログラム解析とインタラクティブデバッグの両方をどのように支援できるか？

主な発見

• CIDERは、Curry用に完全に実装された動作可能なIDEであり、コアのCurryコードが約1400行、インポートされたライブラリが1500行程度であり、高水準な宣言的言語がシステム実装に実用的であることを示している。
• 一等関数と遅延評価の使用により、分析ツールが値として扱われ、必要なときにのみ計算される明確でモジュラーな設計が実現されている。
• 環境は拡張可能であり、新しい分析ツールは構成リストに新しいエントリを追加するだけで追加可能であり、コアシステムの変更は不要である。
• フロントエンドパーサを変更することで、Prologなどの他の宣言的言語に対してもCIDERを適応可能にしている。
• グラフィカルデバッガと依存関係グラフ可視化ツールは、プログラムの理解とデバッグに実用的でユーザーに分かりやすい支援を提供している。
• システムは自由に利用可能であり、PAKCSライブラリを備えた標準的なCurry実装のみを必要としており、研究および教育分野での利用促進に貢献している。