昨今では量子コンピュータ向けのアルゴリズムが盛んに研究されている。これらの実装にはライブラリによって提供されるDSLが用いられるが、このようなDSLの多くは完全グラフを想定しており、実際の量子コンピュータの物理トポロジに適合させるような制約を課すことができない。
本研究では、いわゆる静的型付き言語をホスト言語とするDSLライブラリを構築し、処理系に手を加えること無くDSL上で物理トポロジの型レベル表現を与える方法を議論する。また実際にDSLライブラリを構築し、それが具体的なホスト言語上でどのようなパフォーマンスを与えるかについて考察する。