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