"možná gramatik obecně" To se učí jen obecně. Například takové atributové gramatiky s příklady kontextových jazyků (nad bezkontextovými pravidly) by byly paráda.
Okolo Go se toho teď moc nechystá (chce se říct naštěstí), ale na spadnutí je nová verze Julie a sem tam něco nového a zároveň zajímavého dostane Rust (lepší borrow checker například).