компилятор ЯП на самом ЯП

одна из причин_следствий:

http://cm.bell-labs.com/who/ken/trust.html

самокомпиляция способствует чистоте семантик конструкций языка.

ну и как не странно упрощает(если язык ещё допускает дрейф синтаксиса) синтаксис самого языка

ну и стандартная причина - облегчает переносимость ибо можно лучше увидеть граф зависимостей конструкций и понять какая часть обязана быть либо в ручную либо кроскомпиляцией отображена в машкод, а что есть «расширение»

так же была мода на «расширяемые машины» это 1970ые - когда вся ОС подавалась как расширение железки послойно , самодефениция языка об этом же.

хотя есть момент, что как раз одного сырца языка не достаточно для однозначного определения семантики языка, пример Томпсона вопиёт об этом.

Макартни со своим эпли-евал тот ещё матаношутник быв.