SML#へのC言語の埋め込みに関する研究

摘要

本論文では、SML材の持つ高い相互運用性のrn機能を用いて、SML#のプログラム中にbindingrnの宣言なしでCのプログラムを書けるようにするrn原理と実装について報告した。SML＃言語の構rn文の宣言の定義に埋め込み構文を追加し、Crnのプログラムを、トップレベルのみでなく、let式rnの宣言部分、Structure、functor、local宣言等のrn内部の宣言部分に書くことも実現できた。また、rn埋め込まれたCプログラムにおいて、埋め込みrn先のSML#プログラム中の変数を参照する機能rnも実現した。