Emacs'in dahili yapısı, Lisp_Object adı verilen tek bir 64-bit slot içinde çeşitli Lisp değerlerini (tamsayılar, semboller, dizeler) nasıl temsil ettiğini inceliyor. Tüm yığın (heap) nesneleri 8-bayt hizalı olduğundan ve geçerli bir işaretçinin en düşük 3 biti her zaman sıfır olduğundan, Emacs bu "boş" bitleri tip etiketi olarak kullanır. Bu yaklaşım, çalışma zamanında tek bir değişkenin farklı tiplerdeki değerleri tutması gerektiğinde verinin doğru şekilde kullanılabilmesi için yeterli bilgiyi korumayı amaçlar.
Makale, polimorfik tiplerin nasıl yazılacağına dair temel yaklaşımları ele alıyor. Statik tiplemede, derleyici verinin şeklini (boyutunu ve alanlarını) hatırlarken, dinamik tiplemede ise bir bellek adresine ve olası tiplere göre veriye erişim sorunu ortaya çıkar. Bu sorunu çözmek için bir yapıya (struct) aktif tipi gösteren bir alan eklemek, yani "etiketli birleşim" (tagged union) kullanmak bir yöntemdir. Bu, C++17 ile tanıtılan std::variant ve std::visit yapılarına benzer bir mekanizma sunar. Bu yapılar, derleme zamanında veya çalışma zamanında hatalı tip dönüşümlerini yakalayarak tip güvenliği sağlar.
Ancak, etiketli birleşimlerin önemli bir dezavantajı vardır: yapının boyutu, birleşimdeki en büyük elemanın boyutuna göre belirlenir. Bu durum, çoğu nesne küçük boyutlu olsa bile (örneğin bool veya int), yapının genel boyutunun gereksiz yere büyük olmasına (örneğin 64 bayt) neden olabilir ve bellek verimsizliğine yol açabilir. Bu nedenle, etiketli birleşim tekniği genellikle farklı tiplerin boyutlarının benzer olduğu veya çağrıdan sonra serbest bırakılabilecek geçici yığın (stack) nesneleri için daha uygundur. std::variant da kapalı bir tip kümesini tip güvenli bir şekilde ele almak için tasarlanmıştır.
Bu makale, düşük seviyeli sistem programlamasında bellek verimliliği ve tip güvenliği arasında denge kurmanın karmaşıklığını ve farklı yaklaşımların avantajlarını/dezavantajlarını ortaya koyuyor.