23 रिपॉजिटरी
Functions that accept multiple data types while maintaining type safety without empty interfaces.
Distinct from Functional: Focuses on generic function signatures, distinct from general functional programming utilities.
Explore 23 awesome GitHub repositories matching programming languages & runtimes · Generic Function Definitions. Refine with filters or upvote what's useful.
This project is a comprehensive technical reference and programming cheatsheet for the Python language. It serves as a curated catalog of language features, syntax patterns, and standard library functions designed to help developers identify and apply correct coding patterns. The documentation covers a broad range of functional areas, including language fundamentals such as object-oriented structuring, functional logic, and list comprehensions. It also provides guidance on utilizing the standard library for data analysis, file management, networking, and concurrent execution. The reference e
Documents the creation of reusable logic blocks using functions and closures.
fmt is a type-safe C++ text formatting library used to convert data into formatted strings and text. It serves as a high-performance string buffer utility and provided the basis for the formatting features introduced in the C++20 standard. The library shifts format string validation and size computation to the compilation phase to prevent runtime crashes and increase execution speed. It utilizes a memory-efficient interface to write formatted data directly into buffers, minimizing allocations and eliminating intermediate string overhead. The project covers a broad range of text processing ca
Uses template metaprogramming to resolve the correct formatting function for a given type without runtime overhead.
This project is an educational platform and tutorial series designed to teach the Go programming language through the practice of test-driven development. It provides a structured path for developers to master language fundamentals, concurrency, and standard library usage by building functional applications in small, verifiable increments. The core methodology centers on the test-driven development cycle, where failing tests are written before implementation to define requirements and ensure code correctness. This approach is applied across a wide range of practical scenarios, including the c
Defines generic functions that maintain compile-time type safety across multiple data types.
Crystal is a statically typed, compiled programming language designed for high performance and memory safety. It leverages an LLVM-based compiler to translate source code into optimized machine-executable binaries, while its type-inference-based static analysis enforces strict safety rules during the build process. The language distinguishes itself through a fiber-based concurrent runtime that manages lightweight execution units for asynchronous input and output without blocking the main process. It also features a powerful compile-time macro system that allows for the inspection and transfor
Creates executable function objects that capture local context and support explicit type definitions.
The Rust Programming Language Book is the official technical guide and educational resource for the Rust language. It provides a comprehensive walkthrough of the language's design, focusing on its core identity as a systems programming language that enforces memory safety and high-performance execution without the need for a garbage collector. The project is distinguished by its focus on ownership, borrowing, and lifetime tracking, which allow the compiler to verify memory safety and thread safety at compile time. It covers the language's unique approach to zero-cost abstractions, including t
Generates specialized machine code for generic definitions to eliminate runtime overhead and improve execution speed.
This project is a static analysis framework and linting engine designed to inspect TypeScript codebases. It functions as a plugin suite that enables standard linting workflows to parse source code into abstract syntax trees, allowing for the automated enforcement of coding standards and the identification of potential bugs through a modular, rule-based visitor pattern. The engine distinguishes itself by integrating directly with the TypeScript compiler to perform type-aware analysis. By accessing compiler type information, it can identify complex errors and unsafe patterns that standard synta
Promotes the use of explicit function signatures by identifying generic types that lack specific parameter and return information.
This project is a comprehensive educational resource and programming course covering C++ language semantics and features from C++03 through C++26. It provides structured tutorials and technical guides focused on modern C++ development. The material offers specialized instruction on template metaprogramming, including the use of type traits and compile-time computations. It features detailed guides on concurrency and parallelism for multi-core execution, as well as a reference for software design applying SOLID principles and RAII. Additionally, it covers build performance optimization to redu
Provides instruction on using templates and overloading to create type-safe generic interfaces.
Outlines is a guided text generation framework and structured output engine for large language models. It enforces precise structural constraints on model output during the sampling process to ensure the generation of valid data. The framework ensures that model outputs strictly adhere to predefined data models, including JSON schemas, regular expressions, and formal grammars. This enables the conversion of natural language inputs into structured arguments for function calling and the generation of valid JSON for downstream processing. The system manages model orchestration through prompt te
Translates natural language requests into structured arguments that match a predefined function signature.
This project is a static analysis engine and type checker designed for PHP codebases. It evaluates source code structure and type annotations to identify potential bugs, type mismatches, and logic errors without executing the application. By parsing code into an abstract syntax tree and applying a rule-based validation framework, it enforces code quality and safety standards across a project. What distinguishes this tool is its sophisticated type inference engine, which models dynamic language features, magic methods, and conditional types to maintain accuracy even in unconventional code. It
Enforces exact parameter and return types for callback functions to ensure they receive the correct data structures.
This is a comprehensive tutorial for learning TypeScript, designed for JavaScript programmers who want to understand the language's type system and modern features. The resource covers TypeScript's core identity, including its structural type compatibility, compile-time type erasure, declaration file merging, and the discriminated union pattern for precise type narrowing. The tutorial distinguishes itself by providing a progressive learning path from basic JavaScript concepts to advanced TypeScript patterns. It covers generic type parameter constraints, tuple types with fixed-length positions
Documents how to define functions with type parameters in TypeScript.
This project is an interactive programming education resource and tutorial designed for learning the Rust programming language and systems programming concepts. It provides a collection of runnable and editable code examples that serve as a practical reference for language syntax and implementation. The resource features an interactive code sandbox that allows users to execute and test code snippets in real time. It emphasizes the verification of technical accuracy by executing embedded code blocks during the build process to ensure all examples remain functional. The content covers a compre
Shows how to define functions that operate on multiple types using type parameters.
100 Go Mistakes is a reference book and code review companion that catalogues frequent Go programming anti-patterns and provides corrected implementations for each one. It covers a wide range of common pitfalls, from range loop variable capture and interface nil handling to error wrapping and map iteration randomization, helping developers recognize and avoid these issues in their own code. The project distinguishes itself by offering a structured, example-driven approach to learning idiomatic Go. It covers core design decisions such as when to use pointer versus value receivers, how to apply
Writes functions that work with any type using type parameters while preserving compile-time type safety.
This project is a comprehensive Lisp AI implementation library that provides reference implementations for various artificial intelligence paradigms and symbolic algorithms. It functions as a multi-purpose toolkit containing a logic programming engine, a natural language processing suite, and a symbolic mathematics toolkit. The library is distinguished by its diverse architectural frameworks, including a Prolog-style execution engine that uses unification and goal-driven backtracking, and a system for simulating human decision-making through expert system shells and certainty factors. It also
Defines a global interface that executes the appropriate method for an object based on its class.
यह प्रोजेक्ट एक सॉफ्टवेयर डिज़ाइन पैटर्न इम्प्लीमेंटेशन गाइड और आर्किटेक्चर रेफरेंस है। यह सॉफ्टवेयर की रखरखाव क्षमता और गुणवत्ता में सुधार के लिए क्रिएशनल, स्ट्रक्चरल और बिहेवियरल पैटर्न का प्रदर्शन करने वाले कोड उदाहरणों का एक व्यावहारिक संग्रह प्रदान करता है। लाइब्रेरी में क्रिएशनल पैटर्न के माध्यम से ऑब्जेक्ट इंस्टेंटिएशन के लिए मानकीकृत इम्प्लीमेंटेशन, स्ट्रक्चरल पैटर्न का उपयोग करके ऑब्जेक्ट्स को कुशल पदानुक्रमों में इकट्ठा करने के लिए टेम्प्लेट, और बिहेवियरल पैटर्न के माध्यम से ऑब्जेक्ट कम्युनिकेशन और जिम्मेदारी वितरण को प्रबंधित करने के उदाहरण शामिल हैं। यह प्रोजेक्ट इन अमूर्त डिज़ाइन पैटर्न को विशिष्ट व्यावसायिक डोमेन, जैसे ट्रांजेक्शन और मार्केटिंग, से मैप करता है ताकि यह प्रदर्शित किया जा सके कि वास्तविक दुनिया की सॉफ्टवेयर समस्याओं को कैसे हल किया जाए। इसमें सिस्टम की जटिलता को कम करने और स्केलेबिलिटी बढ़ाने के लिए पॉलीमॉर्फिक रनटाइम डिस्पैच और इंटरफेस-आधारित डिकपलिंग का अनुप्रयोग शामिल है।
Implements mechanisms to determine concrete class execution at runtime based on object types.
Exposes effect requirements in function signatures using curly brace annotations.
Warp is a Python framework that JIT-compiles Python functions into CUDA kernels for GPU-accelerated parallel computation, with built-in automatic differentiation and multi-framework array interoperability. At its core, it provides a GPU kernel compilation system that enables writing and executing custom GPU kernels directly from Python, while supporting automatic gradient computation through those kernels for integration with machine learning pipelines. The framework also includes tile-based cooperative computing, where thread blocks partition into tiles for shared-memory and tensor-core opera
Creates functions that accept any data type and are automatically instantiated per call site.
यह प्रोजेक्ट Rust प्रोग्रामिंग भाषा सीखने के लिए एक स्थानीयकृत शैक्षिक संसाधन है, जो सरलीकृत चीनी (Simplified Chinese) में अनुवादित एक व्यापक गाइड और तकनीकी विनिर्देश प्रदान करता है। यह भाषा के मुहावरों, मेमोरी प्रबंधन और टाइप सिस्टम का अध्ययन करने के लिए एक निर्देशात्मक टूल के रूप में कार्य करता है। रिपॉजिटरी सॉफ़्टवेयर दस्तावेज़ीकरण स्थानीयकरण पर केंद्रित है, जो गैर-अंग्रेजी बोलने वालों के लिए पहुंच बढ़ाने के लिए आधिकारिक गाइड को सरलीकृत चीनी में परिवर्तित करती है। यह सामग्री को व्यवस्थित करने के लिए एक मार्कअप-बेस्ड सिस्टम का उपयोग करता है और वेब और ऑफ़लाइन देखने के लिए स्टेटिक HTML, PDF और EPUB फ़ॉर्मेट्स में मल्टी-फ़ॉर्मेट एक्सपोर्ट का समर्थन करता है। सामग्री Rust तकनीकी डोमेन की एक विस्तृत श्रृंखला को कवर करती है, जिसमें ओनरशिप और बॉरोइंग जैसे मेमोरी प्रबंधन प्रिमिटिव्स, ट्रेड्स और जेनेरिक्स से जुड़ी उन्नत भाषा डिज़ाइन और व्यापक त्रुटि प्रबंधन रणनीतियां शामिल हैं। यह प्रोग्रामिंग के मूल सिद्धांतों, डेटा मॉडलिंग और बिल्ड और डिपेंडेंसी प्रबंधन के लिए डेवलपर उत्पादकता टूल के उपयोग का भी विवरण देता है।
Explains the creation of functions namespaced to a type that serve as constructors.
c3c is the compiler for the C3 programming language, transforming source code into executable binaries, static libraries, or dynamic libraries using an LLVM backend. It implements a system based on result-based error handling, scoped memory pooling, and a semantic macro system. The compiler provides first-class support for hardware-backed SIMD vectors that map directly to processor instructions and enables runtime polymorphism through interface-based dynamic dispatch. The project covers a broad set of low-level capabilities, including manual and pooled memory management, inline assembly inte
Validates pre-conditions and post-conditions through static analysis and runtime asserts.
Effector is a reactive state management library designed for building complex, event-driven applications. It functions as a data flow engine that models application logic as a directed acyclic graph, ensuring that state updates propagate automatically through interconnected nodes. By utilizing atomic state updates and declarative unit composition, the library maintains data consistency and provides a predictable execution model for managing application state. The project distinguishes itself through its framework-agnostic architecture, which decouples business logic from user interface implem
Configures the input parameters, return values, and error types for asynchronous operations to ensure predictable data flow.
This project is a comprehensive guide and set of engineering standards for writing readable, maintainable, and scalable JavaScript code. It provides a framework for software architecture, refactoring patterns, and clean coding practices designed to improve codebase health and longevity. The guide emphasizes the application of SOLID principles and architectural strategies such as dependency inversion and the separation of concerns. It focuses on transforming complex conditional logic through polymorphism and refactoring, while promoting a transition from imperative loops to declarative functio
Implements polymorphic method dispatch in subclasses to replace switch or if-else chains.