Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.
"читать" их сложно. можно, но без толку. на них надо потратить немало времени и сил. это на порядке сложнее, чем выучить новый фреймворк или ЯП.