To souhlasím. Obvykle ale nejde o rychlost naučení nového jazyka, ale spíše chápání advanced věcí.
Těžko říct, čemu říkáš "chápat" a čemu "advanced věci". Jak už jsem tady jednou psal - ani v Learn You Some Haskell se teorie kategorií nepoužívá. Čili zjevně není potřeba ani k praktickému pochopení Haskellu, o céčku nebo Pythonu nemluvě.
Proč jsou některé konstrukce v jazyce a jak to někoho napadlo.
Tak to jo - teorie se hodí, až budu chtít konstruovat vlastní jazyk. Jakože to každej děláme obden

Jaké optimalizace a na základě čeho se dělají. Jak to všechno funguje pod pokličkou a trochu matematiky k tomu
U všech jazyků to pak bude stejné, protože nic nového se zatím stejně nevymyslelo.
To myslíš vážně? Jakože znalost nějakého formalismu mi dá schopnost jednotným způsobem optimalizovat Rko, Python, Javu a Céčko? To bych teda fakt chtěl vidět v praxi

Běžné lopatě to ale bude k ničemu, protože pokud mu nebude fungovat první příklad ze SO, tak nebude zkoumat chybové hlášení, které by mu při znalosti teorie pomohlo, ale jen zkusí druhý postup
Nikdo se ho na standupu nebude ptát, čím to bylo, ale jestli už to funguje 
Znalost teorie (jakože opravdové,
čisté teorie, třeba typu těch kategorií) nemá s chybovým hlášením
vůbec nic společného. K pochopení problému ti nijak nepomůže, na to je potřeba znát praxi - syntax a sémantiku toho konkrétního jazyka.