тогда начинать надо с макросистемы :) под которую уже думать рантайм. на racket вон разных языков пишут, и это позиционируется как специализация языка в принципе - простое написание других языков
смотря какого, этого. там есть и игрушечные проекты (очевидно) и вполне себе прод - вариации того же рекета, например typed racket. производительность, как я понимаю, на уровне самого рекета или выше