Geçen gün başıma gelen bir şey, hala gerekli olan belirli türler ya da bizi geride tutan bir miras. Demek istediğim: gerçekten kısa, int, uzun, bigint vb.'ye ihtiyacımız var mı?
Akıl yürütmeyi, değişkenlerin / nesnelerin hafızada tutulduğunu, hafızanın tahsis edilmesi gerektiğini ve bu nedenle bir değişkenin ne kadar büyük olabileceğini bilmemiz gerektiğini anlıyorum. Ama gerçekten, modern bir programlama dili "uyarlanabilir türleri" işleyemezse, yani bir şey sadece kısa aralıkta tahsis edilirse, daha az bayt kullanır ve bir şey aniden çok büyük bir sayı tahsis edilirse, bellek tahsis edilir belirli bir örnek için.
Şamandıra, gerçek ve çiftler biraz daha zorlayıcıdır, çünkü tip ihtiyacınız olan hassasiyete bağlıdır. Bununla birlikte, dizeler çoğunlukla ascii'nin kullanıldığı birçok durumda (.Net) daha az bellek alabilir; buth dizeleri, unicode kodlaması nedeniyle her zaman belleği iki katına çıkarır.
Spesifik tipler için bir argüman, spesifikasyonun bir parçası olabileceği, örneğin bir değişkenin belirli bir değerden daha büyük olamaması gerektiği için kısaltmaya ayarladık. Ama neden bunun yerine tip kısıtlamaları yok? Değişkenler (ve özellikler) üzerinde izin verilen aralıklar ve değerler ayarlayabilmek çok daha esnek ve güçlü olacaktır.
Altta yatan donanımla çok sıkı bir şekilde bütünleştiğinden ve serileştirme gibi şeyler gerçekten zor olabileceğinden, tip mimarisini yenilemedeki büyük sorunun farkındayım. Ama bir programlama perspektifinden bakıldığında, harika olmalı değil mi?
type hour is range 0 .. 23;