Википедия говорит:
Расширяемое программирование — это термин, используемый в информатике для описания стиля компьютерного программирования, который фокусируется на механизмах расширения языка программирования, компилятора и среды выполнения.
Например, Tcl позволяет вам писать собственные управляющие структуры. См. здесь.
Я заинтересован в составлении списка расширяемых языков программирования, которые используются в реальном коде. Было бы неплохо, если бы вы могли привести пример и для своего языка.