3 रिपॉजिटरी
Awesome GitHub RepositoriesStatic Type Assertions
Markers used to hint a specific type to static analyzers without performing actual runtime casting.
Distinct from Type Conversion and Casting: Distinct from runtime casting as it provides no operational bytecode for the cast
Explore 3 awesome GitHub repositories matching programming languages & runtimes · Static Type Assertions. Refine with filters or upvote what's useful.
Awesome Static Type Assertions GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- webmozarts/assert
webmozarts/assert
7,648GitHub पर देखेंThis PHP assertion library is a runtime data validator used to verify method inputs and outputs. It provides a toolkit for validating data types, numeric ranges, and string patterns during program execution to prevent invalid states. The project serves as a static analysis helper by providing type hints and annotations that improve the accuracy of formal verification tools. It includes a collection validation utility for applying rules across arrays or iterable collections, and a filesystem validation tool to verify path existence and read or write permissions. The library covers a broad ran
Provides type hints and assertions that assist static analysis tools in detecting type mismatches during development.
PHP - chai2010/go-ast-book
chai2010/go-ast-book
5,510GitHub पर देखेंgo-ast-book एब्स्ट्रैक्ट सिंटैक्स ट्री (AST) विश्लेषण, कंपाइलर डेवलपमेंट और स्टेटिक कोड वेरिफिकेशन पर केंद्रित शैक्षिक और तकनीकी संसाधनों का एक संग्रह है। यह Go सोर्स कोड को पार्स करने, ट्रैवर्स करने और उसका विश्लेषण करके अर्थ निकालने के लिए गाइड और मैनुअल प्रदान करता है। यह प्रोजेक्ट कंपाइलर फ्रंटएंड बनाने के लिए एक संदर्भ के रूप में कार्य करता है, जो हाई-लेवल कोड को इंटरमीडिएट रिप्रेजेंटेशन और सिंगल स्टेटिक असाइनमेंट फ़ॉर्म में अनुवाद करने को कवर करता है। यह भाषा टूलिंग विकसित करने और स्टेटिक कोड विश्लेषण करने के लिए इन तकनीकों का उपयोग करने के निर्देश भी प्रदान करता है। संसाधन लेक्सिकल टोकनाइज़ेशन, एक्सप्रेशन्स और डिक्लेरेशन्स की स्ट्रक्चरल पार्सिंग और सोर्स फ़ाइलों के लिए कोऑर्डिनेट ट्रैकिंग सहित स्टेटिक विश्लेषण क्षमताओं की एक विस्तृत श्रृंखला को कवर करते हैं। यह आइडेंटिफ़ायर रिज़ॉल्यूशन, टाइप करेक्टनेस वेरिफिकेशन और कॉनकरेंसी और डिफ़र्ड एक्ज़ीक्यूशन के लिए कंट्रोल फ़्लो विश्लेषण जैसी सिमेंटिक विश्लेषण प्रक्रियाओं का भी विवरण देता है।
Locates type assertion expressions to determine how a program validates interface types at runtime.
Go - tc39/proposal-type-annotations
tc39/proposal-type-annotations
4,386GitHub पर देखेंThis is an ECMAScript proposal that adds static type syntax to JavaScript, enabling type checking without a separate transpilation step. The proposal defines a standard for type annotations, interfaces, generics, and type imports and exports that are stripped during execution, allowing code to run natively in existing JavaScript engines while still being validated by external type checkers. The proposal introduces generic type parameters using angle-bracket syntax on functions, classes, and type declarations, which are removed at runtime. It also provides syntax for type annotations on variab
Overrides inferred types using assertion syntax without any runtime effect.
JavaScript
