文献

J-GLOBAL ID：201802240898610786   整理番号：18A1841903

部分動的レコードを活用した型付きテンプレートエンジンの実現

Typed template engine based on partially dynamic records

著者 (3件)： 逢坂美冬 (東北大学情報科学研究科) ,  上野雄大 (東北大学電気通信研究所) ,  大堀淳 (東北大学電気通信研究所)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 35  号： 3  ページ： 3_79-3_95(J-STAGE)  発行年： 2018年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 一般にWebアプリケーションにおけるWebページの動的生成は,テンプレートエンジンを用い,事前に用意されたテンプレートに対して動的に値を埋め込むことで行う.テンプレートはテキストファイルとして用意され,実行時に読み込まれる.そのため,テンプレートに対する操作は一般に型無しの文字列操作となる.従って,たとえホスト言語が強い型付けを持つ関数型言語であったとしても,実際のテンプレート構造とプログラムの想定の間の不整合は静的に検出されない.本論文では,動的に読み込まれるテンプレートに対して,部分動的レコードに基づく動的型検査を行うことで,型付きのテンプレート操作を実現する言語機構を提案する.この機構は,テンプレートにホール名をラベルとするMLの部分動的レコード型を与え,テンプレートに値を埋め込む操作をレコードの更新演算と同様に型付けする.テンプレートに存在しないホールへの値の埋め込みは型エラーとなる.プログラムが想定するテンプレートの型と実際のテンプレートの構造の整合性は,テンプレートファイル読み込み時に動的に検査する.本論文ではさらに,この機構をML系関数型言語SML#のコンパイラを拡張することで実装し,実例を通じて実用性を検証するとともに,実用上の課題について議論する.(著者抄録)

シソーラス用語： *Web【情報システム】 ,  *Webページ ,  *応用プログラム ,  型枠 ,  板 ,  *関数型言語 ,  *検査 ,  データ型 ,  動特性 ,  ML言語 ,  コンパイラ ,  実装設計 ,  評価試験
準シソーラス用語： *Webアプリケーション ,  テンプレート【型板】 ,  ホスト言語 ,  *型検査

分類 (4件)： その他の情報処理  (JE15050M) ,  計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： レコード ,  活用 ,  テンプレート