Haskell Programming from first principles
Chris Allen & Julie Moronuki
The Final Empire
Brandon Sanderson
Mistborn (1)
Cookbook
Correl Roush
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
The Martian
Andy Weir