6 repository-uri
Awesome GitHub RepositoriesBranded Types
Techniques for distinguishing between identical structures by assigning unique labels or flavors to types.
Distinct from Schema-Driven Type Inference: Distinct from Schema-Driven Type Inference: focuses specifically on the 'branding' of types to prevent mixing identical structures, not the general inference process.
Explore 6 awesome GitHub repositories matching software engineering & architecture · Branded Types. Refine with filters or upvote what's useful.
Awesome Branded Types GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- reasonml/reason
reasonml/reason
10,313Vezi pe GitHubReason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web environments or native machine code for operating systems. It serves as an OCaml-compatible language that shares an abstract syntax tree with OCaml, providing a practical syntax for the OCaml ecosystem. The project functions as a type-safe frontend language, incorporating JSX support to build user interfaces through structural elements that translate into type-safe function calls. It enables deep integration with the JavaScript ecosystem, allowing the use of existing librarie
Implements a nominal type system that distinguishes records by their name rather than their structure.
OCamljavascriptocamlprogramming-language - open-circle/valibot
open-circle/valibot
8,769Vezi pe GitHubValibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.
Assigns unique flavors to schema outputs to prevent the accidental mixing of identical data structures.
TypeScriptbundle-sizemodularparsing - arktypeio/arktype
arktypeio/arktype
7,780Vezi pe GitHubArktype is a TypeScript runtime validation library and schema orchestrator. It synchronizes TypeScript types with runtime data validation, allowing users to define type-safe schemas that ensure unknown data adheres to specific structures during application execution. The project distinguishes itself by using set-theory type analysis to determine intersections and subtype compatibility, alongside JIT-compiled validation functions for optimized performance. It supports advanced type modeling through branded type constraints, recursive alias resolution, and the ability to generate runtime valida
Attaches unique type-level symbols to validated data to distinguish verified values from raw inputs at compile time.
TypeScriptjavascriptparsingruntime-typechecking - unisonweb/unison
unisonweb/unison
6,487Vezi pe GitHubProvides nominal type distinction preventing substitution of structurally identical types.
Haskellhacktoberfesthaskellprogramming-language - piotrwitek/utility-types
piotrwitek/utility-types
5,759Vezi pe GitHubAceasta este o bibliotecă de utilitare TypeScript care oferă alias-uri de tip avansate și tipuri mapate pentru transformări complexe de obiecte și uniuni. Implementează instrumente specializate pentru crearea de tipuri nominale marcate (branded types), extragerea metadatelor de tip și efectuarea operațiunilor de set pe tipuri de uniune. Proiectul se distinge printr-un toolkit pentru transformări recursive de obiecte, permițând aplicarea constrângerilor de proprietate precum starea read-only sau opțională pe structuri profund imbricate. De asemenea, oferă un sistem pentru calcularea intersecțiilor, diferențelor și complementelor între tipurile de uniune pentru a simula logica matematică a seturilor. Biblioteca acoperă o gamă largă de capabilități ale sistemului de tipuri, inclusiv filtrarea proprietăților obiectelor, compararea formelor și extragerea constructorilor de clase și a tipurilor de rezoluție a promisiunilor. Include, în plus, utilitare pentru validarea valorilor, cum ar fi detectarea valorilor falsy sau nullish și identificarea tipurilor primitive.
Implements branded types to distinguish between identical object structures using unique labels.
TypeScriptmapped-typesstatic-typingtypescript - tighten/ziggy
tighten/ziggy
4,291Vezi pe GitHubZiggy is a frontend routing bridge that exports server route definitions to JavaScript or JSON for use in browser-based applications. It acts as a named route resolver, synchronizing server-defined routes with the client to generate full URLs from named routes without hardcoding paths. The project includes a TypeScript route generator that creates type definitions for backend routes, providing static type checking and autocompletion. It also provides dedicated integration hooks and plugins for React and Vue to make routing capabilities available within component-based frameworks. Beyond URL
Implements branded types in TypeScript to restrict route names to a predefined set of valid identifiers.
JavaScriptjavascriptlaravelroutes
