Awesome GitHub RepositoriesComplex Structure Validation

Arktype 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

Pytype este un instrument de analiză statică a codului și un motor de inferență a tipurilor pentru Python. Funcționează ca un analizor static de tipuri care detectează nepotrivirile de tip și verifică adnotările de tip fără a necesita hint-uri manuale complete, servind în același timp ca un generator de stub-uri de tip pentru producerea fișierelor de definiție standalone. Proiectul se distinge prin determinarea automată a tipurilor de variabile și funcții printr-o analiză a tiparelor de cod și a atribuirilor. Acest motor de inferență permite verificarea structurală a codului și generarea de stub-uri de tip care descriu interfețele modulelor și funcțiilor. Sistemul acoperă operațiuni largi de analiză statică, inclusiv validarea structurală a ierarhiilor de clase și a apelurilor de funcții, precum și urmărirea simbolurilor pentru a detecta erorile de namespace și încălcările de acces la atribute. De asemenea, oferă primitive de verificare a tipurilor pentru a impune adnotări și un sistem de tipuri capabil să modeleze structuri de date complexe folosind uniuni și opționale.

Dry-validation este o bibliotecă Ruby concepută pentru definirea schemelor type-safe și a regulilor complexe de validare pentru a verifica și curăța structurile de date de intrare. Aceasta oferă un framework formal pentru construirea logicii de validare modulare, asigurând că informațiile primite îndeplinesc cerințele specifice de business și formatele de date înainte de a fi procesate de o aplicație. Biblioteca utilizează un limbaj specific domeniului (DSL) pentru a declara regulile de validare, care sunt apoi analizate în obiecte executabile. Se distinge printr-un sistem bazat pe macro-uri care grupează logica comună de validare în scurtături reutilizabile, alături de un model de compoziție recursivă care permite dezvoltatorilor să imbrice obiecte de validare pentru a construi structuri complexe, ierarhice. Această abordare permite crearea unei logici consistente, modulare, care previne duplicarea codului în aplicații mari. Dincolo de definirea schemei de bază, biblioteca include un pipeline de coerciție a tipurilor care transformă input-ul brut în formatele așteptate și un sistem structurat de agregare a erorilor care mapează eșecurile la căi specifice de intrare. Suportă hook-uri de configurare pentru integrarea dependențelor externe și oferă instrumente pentru curățarea datelor, făcând-o potrivită pentru impunerea standardelor pe cererile API primite și obiectele de date complexe.