M4 je univerzální jazyk pro zpracování maker, který programátoři používají pro širokou škálu úloh. Často se používá ve spojení s jinými programovými jazyky, jako je například jazyk C, a poskytuje tak výkonný a zároveň snadno použitelný preprocesor.
M4 má jednoduchou syntaxi, kterou se lze snadno naučit, a přitom je velmi výkonný. Lze jej použít k provádění široké škály úloh, jako je rozšiřování maker, generování kódu nebo dokonce vytváření celých programů.
Navzdory své síle je M4 stále poměrně neznámým jazykem. Je to pravděpodobně způsobeno tím, že se ve školách často nevyučuje. Nicméně pro ty, kteří hledají výkonný, ale málo využívaný jazyk, M4 rozhodně stojí za vyzkoušení.