"An algorithm must be seen to be believed"
– Donald Knuth
Before we go into more dense topics in this chapter, we'll first discuss some of the type system tidbits in statically typed programming languages in general, with focus on Rust. Some of these topics may already be familiar to you from Chapter 1, Getting Started with Rust, but we're going to dig into the details here.