直接法とは、言語lのインタプリタを言語lで記述するメタサーキュラー(meta-circular)と呼ばれる言語の実装方法を応用するもので、言語lのデータオブジェクトとして言語l自身を構成することで実現される。