studying them makes you smarter, which makes you better at using the practical stuff.
I miss it just like I miss the program language and type theory group meetups in SF and working through problems in dependently types languages like Idris and being out of my depth.