M4 ist eine allgemeine Makroverarbeitungssprache, die von Programmierern für ein breites Spektrum von Aufgaben verwendet wird. Sie wird oft in Verbindung mit anderen Programmiersprachen, wie z.B. C, verwendet, um einen leistungsfähigen und dennoch einfach zu bedienenden Präprozessor zu schaffen.
M4 hat eine einfache Syntax, die leicht zu erlernen ist, und ist dennoch sehr leistungsfähig. Er kann für eine Vielzahl von Aufgaben eingesetzt werden, z. B. zum Erweitern von Makros, zum Generieren von Code oder sogar zum Erstellen ganzer Programme.
Trotz ihrer Leistungsfähigkeit ist M4 immer noch eine relativ unbekannte Sprache. Das liegt wahrscheinlich daran, dass sie in den Schulen nicht oft unterrichtet wird. Für diejenigen, die nach einer leistungsfähigen, aber wenig genutzten Sprache suchen, ist M4 jedoch auf jeden Fall einen Blick wert.