定领域语言（）到一般用途的语言里来扩充。
自定义语法.关于自定义语法的一个好例子是在OCaml程式语言里两个不同语法的存在。程式可能平常地由「正常语法」或「校正过的语法」写成，并且按需求由两者之一进行程式优化类似地，一些OCaml语言写成的程式借由新运算符的增加来自定化语言的语法。
扩充语言.对于从巨集扩充语言最好的范例可在LISP语言家族里找到。这种语言本身就是简单的动态类型核心模块，Scheme或Common Lisp的标准分配允许了命令或物件导向