Fonksiyon argümanlarının fonksiyon rengi olmadığı açıklandı

Yazılım dünyasında uzun süredir tartışılan fonksiyon renklendirme kavramı, fonksiyon parametrelerinin de birer renk olup olmadığı sorusunu gündeme taşıdı. Yazar Jeremy Cowgar yayımladığı teknik analizde, Go dilindeki context.Context örneğinden yola çıkarak fonksiyon argümanlarının neden fonksiyon rengi sayılamayacağını açıkladı. Bir değişikliğin çağrı yığınında nasıl yayıldığını modelleyen Cowgar, yapılandırılmış programlamanın sunduğu kapsülleme mekanizmalarını temel ölçüt olarak sundu.

Analize göre standart bir parametre değişikliği yalnızca doğrudan çağıran işlevi etkiliyor ve geliştiriciler zinciri istedikleri noktada kırabiliyor. Örneğin Go geliştiricileri yeni bir bağlam parametresi eklediklerinde, context.Background çağrısıyla bu zinciri anında sonlandırabiliyor ve üst katmanları değişiklikten yalıtabiliyor. Gerçek bir fonksiyon rengi ise aradaki katmanların tümünü doğrudan ve kaçınılmaz biçimde dönüştürmeye zorluyor; aradaki bir fonksiyonun bu etkiyi kendi içinde çözmesine izin vermiyor.

Haskell dilindeki STM monadını kısmi renk örneği olarak inceleyen Cowgar, tip denetleyicisinin belirli garantileri korumak için zinciri zorla genişlettiğini kaydetti. Buna karşın State gibi yapıların fonksiyon rengi olmadığını belirten yazar, bir özelliğin renk sayılabilmesi için yığındaki tüm ara katmanları yalıtıma izin vermeden dönüştürmesi gerektiğini vurguladı.