जावास्क्रिप्ट स्थिर प्रकार की जांच की वर्तमान स्थिति क्या है?

Question

मुझे पता है कि Google क्लोजर कंपाइलर टाइपिंग की जांच करता है- लेकिन क्या कोई विकल्प है, अधिमानतः लाइब्रेरी और ऑप्टिमाइज़र के साथ इतना कसकर नहीं है?

यदि नहीं, तो क्या Google क्लोजर कंपाइलर केवल स्थिर विश्लेषण करने का कोई तरीका है?

(स्थिर विश्लेषण यहाँ से, मैं तर्क और इतना है कि मैं अगर मैं एक टाइपो बना या गलत प्रकार से पारित मुझे चेतावनी देने के लिए कुछ के माध्यम से चला सकते हैं के लिए प्रकार को परिभाषित करने की तरह महत्व होता है।)

Answer 1

वहाँ Doctor JS है, जो एक मोज़िला प्रोजेक्ट है जो मुख्य रूप से (जैसा कि मैं इसे समझता हूं, कम से कम) जेएस के लिए टाइप-चेकिंग करता है।

Answer 2

माइक्रोसॉफ्ट के एजेक्स मिनीफायर जेएस फ़ाइल में किए जाने वाले प्रीपे की मात्रा के बारे में थोड़ा अधिक आराम से इसके परिणाम प्राप्त करने के लिए थोड़ा अधिक आराम से है। आप चूक के साथ चलाने के लिए और है कि अभी भी बाहर कोड के साथ काम करता एक बेहद न्यूनतम किया गया फ़ाइल बाहर निकल सकते हैं: http://ajaxmin.codeplex.com/

लेकिन, दोनों बंद संकलक और अजाक्स minifier केवल मूलभूत linting परे स्थिर विश्लेषण सीमित कर सकते हैं क्योंकि कैसे जावास्क्रिप्ट है की, बनाया गया है। एक अविकसित संपत्ति तक पहुंचने के लिए केवल अपरिभाषित चर की जांच की जा सकती है, इसका अर्थ यह है कि इसे वैश्विक दायरे में घोषित करना है, किसी ऑब्जेक्ट को एक वैरिएबल को असाइन करना जिसमें कोई संख्या कानूनी है, इत्यादि। जेएस में बहुत कुछ कानूनी है जो आपकी सामान्य भाषा है (जावा, सी #) सीमाओं से बाहर मानता है, इसलिए किसी विशिष्ट कंपाइलर के लिए प्रकार, सीमाएं और अपेक्षाओं को घोषित किए बिना आप दुर्भाग्य से उन त्रुटियों में सीमित हैं जिन्हें आप रोक सकते हैं।

मुझे कुछ ऐसा कुछ और दिलचस्पी होगी जो बड़े 2 (एमएस और Google) के बीच बदल सकती है। यह आईडीई समर्थन के लिए उपयोगी होगा, उन्नत अनुकूलन के साथ कोड आकार का परीक्षण, आदि

Answer 3

मैं इंटेलिज विचार/वेबस्टॉर्म संपादक से काफी खुश हूं, जो jsdoc को पार करता है और संभावित या वास्तविक प्रकार की सुरक्षा को ध्वजांकित करने के लिए अपना स्वयं का स्थिर विश्लेषण करता है त्रुटियों। यह काफी उपयोगी साबित हुआ है, हालांकि विरासत को कुछ आम ढांचे के साथ काम करने के लिए थोड़ा सा काम करने की आवश्यकता थी। जावास्क्रिप्ट प्रोटोटाइप विरासत के साथ संभव दृष्टिकोणों के कारण, कंपाइलर को अन्य भाषाओं की तुलना में थोड़ा और मदद चाहिए।

यह एक वाणिज्यिक उपकरण है, लेकिन मैं इसे जावा, पीएचपी, जावास्क्रिप्ट, पायथन और रूबी परियोजनाओं के लिए उपयोग करने में सक्षम हूं, सभी कुछ सुंदर सभ्य स्थिर विश्लेषण और मददगारों को रिफैक्टरिंग के साथ। मैं emacs के साथ बहुत कुछ करता था और jshint और बंद कंपाइलर के लिए node.js प्रक्रियाओं को चलाता था, लेकिन यह बहुत कम भंगुर है।