How low-level is Rust?

[HadrienG]

@Centril: Here's that topic

Practical intro to type theory

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 …