文献

J-GLOBAL ID：201002271083137769   整理番号：10A1461854

インスタンス連鎖:重複インスタンスのない型クラスプログラミング

Instance Chains: Type Class Programming Without Overlapping Instances

著者 (2件)： MORRIS J. Garrett (Portland State Univ.) ,  JONES Mark P. (Portland State Univ.)
資料名： ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages))
巻： 45  号： 9  ページ： 375-386  発行年： 2010年09月 
JST資料番号： D0915A  ISSN： 0362-1340  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 型クラスは,Haskellプログラミング言語において広範に利用される拡張特性である。多パラメータ型クラス,関数依存性などが良く研究される反面,興味ある型レベルプログラミングの活用事例にも拘らず,重複インスタンス拡張は研究が不完全で注目されない。新しい型クラス特性を探求し,インスタンス連鎖による型クラスプログラミングの簡略化と高度化について例証した。プロトタイプツールilabにおいて,重複インスタンスを新特性であるインスタンス連鎖に置換し,インスタンス宣言における交代と障害を許容した。型クラスと実装を推論するための意味解析フレームワークを記述した。インスタンス連鎖と関数依存性による型クラスモデリングを示し,型システムのための演繹アルゴリズムを提示した。最後にilabに関する意味解析および実装について記述した。

シソーラス用語： 仕様記述 ,  オブジェクト指向プログラミング ,  *データ型 ,  *関数型言語 ,  *意味解析 ,  モデリング ,  演繹 ,  *プログラム構造 ,  関数従属 ,  システム設計 ,  支援プログラム
準シソーラス用語： インスタンス ,  型システム ,  Haskell

分類 (1件)： システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (5件)： インスタンス ,  連鎖 ,  型 ,  クラス ,  プログラミング