Boken 'Domain-Specific Languages of Mathematics' oppfordrer leserne til å utforske matematiske domener gjennom linsen av funksjonell programmering. Forfatteren legger vekt på viktigheten av å identifisere de sentrale funksjonene og typene som er involvert, samt å introdusere nye abstraksjoner når det er nødvendig. Leseren oppmuntres også til å gi kalkulasjonsbevis og ta hensyn til syntaksen i matematiske uttrykk. Resultatet er en organisering av funksjoner og typer i spesifikke domene-språk. Denne boken er spesielt anbefalt for utviklere som ønsker å lære matematikk og bruke Haskell for å forstå definisjoner og teoremer. Den henvender seg også til de med interesse for matematikk, som ønsker å dykke inn i funksjonell programmering og spesifikke domene-språk. Den setter i perspektiv forholdet mellom matematikk og funksjonell programmering, og demonstrerer hvordan datavitenskap og matematikk kan undervises på en nyttig måte sammen.
