2 रिपॉजिटरी
Awesome GitHub RepositoriesType-Safe Application Development
Building high-performance software using rigorous type systems to ensure memory and type safety.
Distinct from Type-Safe Development: None of the candidates describe the general domain of building type-safe applications; they focus on specific build tooling, dispatching, or utilities.
Explore 2 awesome GitHub repositories matching programming languages & runtimes · Type-Safe Application Development. Refine with filters or upvote what's useful.
Awesome Type-Safe Application Development GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- apple/swift
apple/swift
70,119GitHub पर देखेंSwift is a general purpose, compiled systems programming language designed for building high-performance software. It is a strongly typed language that focuses on memory safety and type safety to prevent runtime errors. The language is designed for native code integration, allowing it to interoperate with C and Objective-C libraries to leverage existing system functions and high-performance APIs. The project covers broad capabilities in type-safe application development and cross-platform toolchain engineering. It includes infrastructure for automated language validation, compiler performanc
Provides a language designed for building high-performance system software with guaranteed memory and type safety.
Swift - system-f/fp-course
system-f/fp-course
4,237GitHub पर देखेंयह प्रोजेक्ट एक अभ्यास-आधारित लर्निंग प्लेटफ़ॉर्म और फंक्शनल प्रोग्रामिंग कोर्स है जिसे व्यावहारिक कार्यान्वयन कार्यों के एक संरचित पाठ्यक्रम के माध्यम से Haskell सिखाने के लिए डिज़ाइन किया गया है। यह एक इंटरैक्टिव ट्यूटोरियल और लर्निंग फ्रेमवर्क के रूप में कार्य करता है जहाँ छात्र मॉड्यूल के एक क्यूरेटेड अनुक्रम को पूरा करके फंक्शनल प्रोग्रामिंग अवधारणाओं में महारत हासिल करते हैं। यह प्लेटफ़ॉर्म टाइप-ड्रिवन डेवलपमेंट वर्कफ़्लो पर जोर देता है, जो प्रोग्राम लॉजिक की खोज का मार्गदर्शन करने के लिए टाइप होल्स और कंपाइलर-एकीकृत टाइप क्वेरींग का उपयोग करता है। यह एक read-eval-print लूप के माध्यम से एक इंटरैक्टिव प्रोग्रामिंग एनवायरनमेंट प्रदान करता है, जो रीयल-टाइम कोड प्रयोग, एक्सप्रेशन टाइप क्वेरींग, और आइडेंटिफायर विवरणों के निरीक्षण की अनुमति देता है। शुद्धता एक स्वचालित सत्यापन प्रणाली के माध्यम से सुनिश्चित की जाती है जो यूनिट टेस्ट और प्रॉपर्टी-आधारित टेस्टिंग सूट को जोड़ती है। ये टूल्स यह सत्यापित करने के लिए रैंडम इनपुट जनरेशन का उपयोग करते हैं कि अभ्यास समाधान विशिष्ट आवश्यकताओं को पूरा करते हैं। पाठ्यक्रम भाषा सिंटैक्स, टाइप सिग्नेचर, पॉलीमॉर्फिज्म, और जटिल डेटा संरचनाओं को डीकंस्ट्रक्ट करने के लिए पैटर्न मैचिंग को कवर करता है।
Emphasizes a workflow where type signatures and compiler queries guide the discovery of program logic.
Haskell
