コンパイル型言語（コンパイルがたげんご）とは、その実装の主体がコンパイラ（ソースコードからマシンコードを生成するトランスレータ）であり、インタプリタ（ソースコードを順次一つずつ実行し、ランタイム前の翻訳が行われない）ではないプログラミング言語である。 この用語はやや曖昧である。原則として、どの言語もコンパイラやインタプリタで実装できる。両方のソリューションの組み合わせも一般的である。コンパイラはソースコードを何らかの中間形式（しばしばp-codeまたはバイトコードと呼ばれる）に変換し、それを実行するインタプリタに渡す。