6 रिपॉजिटरी
Tools for indexing and locating functions based on their formal type signatures.
Distinct from Type and Operation Discovery: None of the candidates cover the specific use of type signatures for library function discovery
Explore 6 awesome GitHub repositories matching programming languages & runtimes · Type-Based Function Discovery. Refine with filters or upvote what's useful.
This project is a comprehensive functional programming curriculum and learning resource for Haskell. It provides sequenced educational paths and technical reference guides designed to take developers from beginner to advanced levels of proficiency. The project distinguishes itself through a deep focus on theoretical and technical foundations, offering detailed studies on type theory, category theory, and runtime internals. It includes a dedicated performance handbook for optimizing execution speed and memory management, as well as an ecosystem guide for managing development tools and editor c
Provides a method for discovering library functions by querying their formal type definitions.
jid is an interactive JSON query tool and data explorer for the terminal. It provides a keyboard-driven interface to navigate, evaluate, and extract information from nested JSON structures using dot-notation paths and real-time autocomplete. The tool integrates JMESPath to support complex data filtering and transformation. It distinguishes itself through a type-aware assistance system that provides context-aware function hints and argument templates based on the data type of the selected JSON node. The capability surface includes a terminal user interface with syntax highlighting, predictive
Generates argument placeholders for built-in functions based on the data type of the selected JSON node.
Enables discovering functions by their type signatures directly within the codebase.
यह प्रोजेक्ट एक PHP डेवलपमेंट टूल और संदर्भ है जो इन-बिल्ट PHP फंक्शन्स को उनके संबंधित सिस्टम रिसोर्स हैंडल के साथ संरचित मैपिंग प्रदान करता है। यह एक रिसोर्स फंक्शन मैप के रूप में कार्य करता है, जो नेटिव फंक्शन्स को उन विशिष्ट रिसोर्स प्रकारों के आधार पर सूचीबद्ध करता है जिन पर वे काम करते हैं। यह टूल उपयोगकर्ताओं को विशिष्ट रिसोर्स प्रकारों में हेरफेर करने के लिए आवश्यक फंक्शन्स की पहचान करने और उन्हें खोजने की अनुमति देकर PHP API डिस्कवरी को सक्षम बनाता है। यह बैकएंड डेवलपमेंट के दौरान सिस्टम हैंडल को प्रबंधित करने और संगत इन-बिल्ट फंक्शन्स की पहचान करने के लिए एक संदर्भ के रूप में कार्य करता है।
Provides a mechanism to discover PHP functions based on the specific resource types they operate on.
Tern is an editor-independent code analyzer and static analysis engine for JavaScript. It functions as a language server that provides semantic intelligence by parsing source code into abstract syntax trees to infer types and resolve symbols without requiring manual type annotations. The engine distinguishes itself through the use of JSON-based type definitions, which allow it to describe library signatures and external dependencies without needing the original source code. It also features a plugin system that enables the extension of server functionality to support custom loaders or framewo
Displays expected arguments for functions to help users call them with the correct parameters.
यह प्रोजेक्ट एक अभ्यास-आधारित लर्निंग प्लेटफ़ॉर्म और फंक्शनल प्रोग्रामिंग कोर्स है जिसे व्यावहारिक कार्यान्वयन कार्यों के एक संरचित पाठ्यक्रम के माध्यम से Haskell सिखाने के लिए डिज़ाइन किया गया है। यह एक इंटरैक्टिव ट्यूटोरियल और लर्निंग फ्रेमवर्क के रूप में कार्य करता है जहाँ छात्र मॉड्यूल के एक क्यूरेटेड अनुक्रम को पूरा करके फंक्शनल प्रोग्रामिंग अवधारणाओं में महारत हासिल करते हैं। यह प्लेटफ़ॉर्म टाइप-ड्रिवन डेवलपमेंट वर्कफ़्लो पर जोर देता है, जो प्रोग्राम लॉजिक की खोज का मार्गदर्शन करने के लिए टाइप होल्स और कंपाइलर-एकीकृत टाइप क्वेरींग का उपयोग करता है। यह एक read-eval-print लूप के माध्यम से एक इंटरैक्टिव प्रोग्रामिंग एनवायरनमेंट प्रदान करता है, जो रीयल-टाइम कोड प्रयोग, एक्सप्रेशन टाइप क्वेरींग, और आइडेंटिफायर विवरणों के निरीक्षण की अनुमति देता है। शुद्धता एक स्वचालित सत्यापन प्रणाली के माध्यम से सुनिश्चित की जाती है जो यूनिट टेस्ट और प्रॉपर्टी-आधारित टेस्टिंग सूट को जोड़ती है। ये टूल्स यह सत्यापित करने के लिए रैंडम इनपुट जनरेशन का उपयोग करते हैं कि अभ्यास समाधान विशिष्ट आवश्यकताओं को पूरा करते हैं। पाठ्यक्रम भाषा सिंटैक्स, टाइप सिग्नेचर, पॉलीमॉर्फिज्म, और जटिल डेटा संरचनाओं को डीकंस्ट्रक्ट करने के लिए पैटर्न मैचिंग को कवर करता है।
Implements a type-driven workflow using type holes to reveal the expected types of values during development.