OCaml from the Very Beginning
More OCaml: Algorithms, Methods, and Diversions
The Little Typer (The MIT Press)
A Programmer's Introduction to Mathematics
The Rust Programming Language
Programming Rust: Fast, Safe Systems Development
A Philosophy of Software Design
Real World Haskell
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
The Go Programming Language (Addison-Wesley Professional Computing Series)