I’ve been using strongly, statically typed languages most of my life. But after I began using Rust, and especially digging into some internals discussions, I started to feel like I could really use some theory to understand the language and concepts behind it better.
As many other software developers, I’m self-taught, but try to fill in my blanks and enjoy good books that combine theory with practical approach (like the classic dragon book or SICP, for example). What’s a good resource to learn type theory to a reasonable degree so I can understand Rust current state and it’s development better? May be there’s some classic book on the subject that’s considered a must by the community? I would be thankful for any suggestions.