Ngôn ngữ biên dịch (tiếng Anh: compiled language) là ngôn ngữ lập trình có hiện thực thường là trình biên dịch (bộ dịch tạo ra mã máy từ mã nguồn), chứ không phải trình thông dịch (bộ thực thi mã nguồn từng bước mà không cần dịch trước thời gian chạy).Thuật ngữ này có vẻ mơ hồ. Về nguyên tắc, bất kỳ ngôn ngữ nào có thể được hiện thực với trình biên dịch hay với trình thông dịch.[1] Một sự kết hợp của cả hai giải pháp cũng rất phổ biến: trình biên dịch có thể dịch mã nguồn sang một số dạng trung gian (thường được gọi là p-code hay bytecode), sau đó được chuyển đến trình thông dịch để thực thi nó.