Boken "The Little Typer" gir en grundig innføring i avhengige typer og viser frem de mest interessante aspektene, ett skritt av gangen. I programmering beskriver en types rolle oppførselen til programmet. Avhengige typer utgjør en viktig del av et programmeringsspråk og tilbyr betydelig mer kraft enn andre typekategorier; ved å bruke ett og samme språk for både typer og programmer kan programbeskrivelser bli like potente som programmene de refererer til. Dette verket tar utgangspunkt i et svært enkelt språk som minner om Scheme, og utvider det til å dekke både programmering med avhengige typer og anvendelsen av disse typene for matematisk resonnement. Leserne oppfordres til å ha et grunnleggende kjennskap til et Lisp-liknende programmeringsspråk, slik det presenteres i de første fire kapitlene av "The Little Schemer". De første fem kapitlene i "The Little Typer" gir nødvendige verktøy for å forstå avhengige typer; de etterfølgende kapitlene bruker disse verktøyene til å bygge en bro mellom matematikk og programmering. Gjennom denne boken vil leserne lære å anvende kjente verktøy fra programmering i kombinasjon med matematiske konsepter.
