Artiklar om funktionell programmering (FP) upplevs ofta som svåra och akademiska, vilket skapar en kunskapslucka i branschen trots FP:s användbarhet i komplexa system. Artikeln syftar till att överbrygga denna klyfta genom att förklara FP-koncept på ett tillgängligt sätt, och menar att svårigheten är historisk snarare än inneboende. Den spårar de filosofiska rötterna till matematisk förståelse tillbaka till Platon och hans idéer om perfekta former, vilket lägger grunden för formella system. Formella system (eller kalkyl) presenteras som pussel med grundläggande principer och regler, som existerar oberoende av intelligenta civilisationer, med Tetris som exempel. Artikeln flyttar sedan fokus till 1930-talet vid Princeton University och introducerar Alonzo Church samt utvecklingen av logik under den stora depressionen.