M4 je univerzálny jazyk na spracovanie makier, ktorý programátori používajú na širokú škálu úloh. Často sa používa v spojení s inými programovacími jazykmi, napríklad s jazykom C, a poskytuje tak výkonný, ale ľahko použiteľný preprocesor.
M4 má jednoduchú syntax, ktorá sa ľahko učí, ale zároveň je veľmi výkonný. Možno ho použiť na vykonávanie širokej škály úloh, napríklad na rozširovanie makier, generovanie kódu alebo dokonca vytváranie celých programov.
Napriek svojej sile je M4 stále pomerne neznámym jazykom. Je to pravdepodobne spôsobené tým, že sa často nevyučuje na školách. Avšak pre tých, ktorí hľadajú výkonný, ale málo využívaný jazyk, M4 určite stojí za vyskúšanie.