Makale, fonksiyonların işlemciler tarafından doğrudan anlaşılmayan, yalnızca programcılar için bir soyutlama olduğunu savunarak başlıyor. Temelde, fonksiyonlar kodumuzu düzenlememizi ve derleyicilerin bize faydalı geri bildirimler sağlamasını kolaylaştıran birer "sosyal yapı" olarak tanımlanıyor. Yapısal programlamanın temelinde yatan bu soyutlama, karmaşık programlar yazarken düşünme yükümüzü azaltıyor ve kodun okunabilirliğini artırıyor. İşlemcinin fonksiyon kavramına yabancı olması, bu soyutlamanın ne kadar güçlü ve aynı zamanda karmaşık bir mühendislik harikası olduğunu gösteriyor.
Fonksiyonların düşük seviyede nasıl çalıştığına dair derinlemesine bir bakış sunuluyor. Bir fonksiyon çağrıldığında, derleyici hedef fonksiyonun bellekteki sabit giriş noktasını bilir. Ancak, fonksiyonun geri dönüş noktası dinamiktir; yani, aynı fonksiyon farklı yerlerden çağrılabilir ve her çağrının ardından farklı bir konuma dönmesi gerekebilir. Bu dinamik geri dönüş, derleyicinin her fonksiyon çağrısında, fonksiyon argümanlarının yanı sıra, geri dönülecek talimatın adresini içeren "görünmez" bir argüman geçirmesiyle sağlanır. Fonksiyonun sonunda, bu gizli argüman okunur ve program akışı ilgili konuma geri atlar. Bu mekanizma, fonksiyon soyutlamasının temelini oluşturur ve programcının bu karmaşık detaylarla uğraşmasına gerek kalmadan esneklik sunar.
Makale, fonksiyon çağırma mekanizmasının statik (derleme zamanı bilinen) ve dinamik (çalışma zamanı belirlenen) dağıtım gibi farklı karmaşıklık seviyelerine sahip olabileceğini belirtiyor. Statik dağıtım, derleyicinin çağrılacak fonksiyonu kesin olarak bildiği basit durumları ifade ederken, Java gibi dillerdeki dinamik dağıtım (örneğin method overriding) bir fonksiyon çağrısının çalışma zamanında birden fazla olası hedeften birine atlayabileceği durumları kapsar. Bu derinlemesine anlayış, asenkron programlama ve "effect system" gibi daha ileri konuları anlamak için sağlam bir temel oluşturuyor.
Fonksiyonların düşük seviyede nasıl çalıştığını anlamak, programlama dillerindeki soyutlamaların gücünü ve asenkron programlama gibi karmaşık paradigmaların temelini kavramamızı sağlar.