エフェクトハンドラとは、様々な計算効果を抽象化できる言語機構である。愚直な実装では実行時にコストがかかるため、さまざまな実装手法、最適化手法が研究されている。中でも、エフェクトハンドラをFreeモナドや継続渡しスタイルを用いた表現へ変換する手法は、変換後のコードを既存の処理系で実行できるなどの利点がある。本研究では、こうした変換手法と、バックエンドの処理系の最適化との相性に着目し、どの組み合わせで効率的なコードを生成できるかを評価する。さらに、特定の組み合わせにおいて最適化が効果的に作用して高い性能が得られることを示し、どのような最適化がどのように働いているのかを明らかにする。