Główne typy kompilatorów komputerowych to kompilatory jednoprzebiegowe, kompilatory wieloprzebiegowe, kompilatory krzyżowe i kompilatory optymalizujące. Kompilator przyjmuje jeden język komputerowy, zwany kodem źródłowym i konwertuje go na język docelowy . Umożliwia to komputerowi odczytanie różnych kodów źródłowych. Kompilator sprawia, że oprogramowanie jest szybsze i zużywa mniej pamięci.
Kompilatory są uważane za określone typy tłumaczy komputerowych. Tłumaczą kody źródłowe z języka wysokiego poziomu na język niższego poziomu, na przykład kody maszynowe i kod montażu.
Kompilator krzyżowy to taki, który może być uruchamiany w systemie operacyjnym komputera, który różni się od systemu operacyjnego używanego zwykle przez program. Rozbija kody binarne, rozumie je i umożliwia programistom uzyskanie dostępu do kodów.
Kompilator to program komputerowy napisany w języku implementacji. Pierwszy kompilator, który był w stanie skompilować swój własny kod źródłowy, powstał w 1962 roku. W latach 90. rozwijano masowo bezpłatne narzędzia do kompilacji i kompilacji. Nowoczesne kompilatory są wysokiej jakości i napisane są w wielu językach. Program kompilujący, który tłumaczy program niskiego poziomu na wyższy, nazywa się dekompilatorem.