но дальше втыкаешься в то, что нужно сделать сальто через задницу, чтобы интерпретатор из игрушки превратился в инструмент — не хватает знаний, навыков, и хорошего учебника, чтобы затащить туда реально крутые вещи типа унификации, pattern matching, трансформация графов
да, оно есть в функциональных языках — но оно живет в своей нише, императивщику туда лезть бессмысленно без бэкграунда: не получается отделить принципы реализации от заморочек конкретного Haskell, Lisp,.. как среды реализации