क्या (स्थिर) प्रकार के सिस्टम मौजूद हैं जो कार्यक्रमों की प्रदर्शन विशेषताओं को औपचारिक बनाने का प्रयास करते हैं? मैं इस तरह के प्रयासों को खोजने के लिए प्रतीत नहीं कर सकता।
चूंकि प्रोग्राम के बारे में बयान देने के लिए प्रोग्रामर के शस्त्रागार में टाइप सिस्टम (एक) सबसे शक्तिशाली उपकरण हैं, और चूंकि ऐसे कई उदाहरण हैं जिनमें प्रदर्शन महत्वपूर्ण है, यह कल्पना करने के लिए दूर-दूर तक प्रतीत नहीं होता है कि प्रयास किए गए थे एक प्रकार की प्रणाली बनाएं जो कार्यक्रमों के भंडारण और रनटाइम विशेषताओं के बारे में कम से कम कुछ बयान करने का प्रयास करता है।
मुझे पता है कि कोड (और समाप्ति) की सबसे खराब स्थिति जटिलता का स्वचालित रूप से अनुमान लगाने के लिए अमूर्त व्याख्या का उपयोग करने में विकास हुआ था। आपको इसमें रुचि हो सकती है ...
—
बकुरीयू
पूरी तरह से संबंधित नहीं है, लेकिन फिर भी: kernelnewbies.org/FAQ/LikelyUnlikely लिनक्स में कर्नेल / gcc संकलक कुछ पथों को अनुकूलित करने की संभावना / संभावना मैक्रोज़ हैं। जैसे
—
अमेजनड्रीम जूल
if (likely(operation_went_fine)) { // Do something } else if (unlikely(error_occured)) { // Do something else }
C में अस्थिर और पंजीकृत कीवर्ड दिमाग में आते हैं।
—
मटनज़
if condition then expensive_operation else cheap_operation?