The Optimal Implementation of Functional Programming Languages

Boken "The Optimal Implementation of Functional Programming Languages" tar for seg de tradisjonelle implementeringsteknikkene for funksjonelle språk, som i stor grad er basert på superkombinatorer, miljøer eller fortsettelser. Disse teknikkene viser seg imidlertid å ha en betydelig mangelfullhet; de unngår ikke unødvendig repetisjon av arbeid og oppnår derfor ikke 'optimale' resultater i forhold til det å dele oppgaver, noe som kan føre til en katastrofal eksponentiell økning i reduksjonstid. For å løse dette problemet presenteres en innovativ grafreduksjonsteknikk kalt optimal reduksjon, som ble introdusert av Lamping i 1990. Dette er det første verket som grundig utforsker dette emnet, skrevet av to fremstående eksperter innen feltet. Boken gir en omfattende oversikt over både praktiske implementeringsaspekter og de matematiske grunnlagene for emnet. Videre undersøkes forholdet mellom dette arbeidet og det banebrytende arbeidet til Lévy, samt Girards mer moderne Geometri av interaksjon, som avslører optimal reduksjon som et fremragende eksempel på hvordan en vakker matematisk teori kan føre til praktiske fordeler. Boken er i stor grad selvstendig, og krever ikke mer enn grunnleggende kjennskap til funksjonell programmering.