Awesome GitHub RepositoriesNon-Empty Collection Validations

Valibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.

Arrow is a functional programming library for Kotlin that provides tools for implementing data-oriented programming patterns. It serves as a framework for typed error handling, a concurrency toolkit, and a library for the manipulation of immutable data. The project distinguishes itself through specialized capabilities for managing application failures using explicit types instead of exceptions and implementing resilience patterns such as circuit breakers and retry policies for distributed services. It also provides optics to update and query deeply nested immutable data structures without man

Cats este o bibliotecă de programare funcțională și type class pentru Scala, concepută pentru a implementa tipare algebrice și abstracțiuni funcționale. Aceasta oferă un set standardizat de interfețe și un toolkit modular de wrapper-e și containere funcționale pentru a permite polimorfismul ad-hoc și programarea generică între tipuri disparate. Proiectul servește drept standard de abstracție funcțională, oferind o suită de monad transformer pentru a compune contexte imbricate cu efecte și a gestiona multiple efecte secundare computaționale într-un singur pipeline. De asemenea, permite construirea de limbaje specifice domeniului (DSL) încorporate prin reprezentarea logicii programului ca structuri de date care sunt interpretate separat de definițiile lor. Biblioteca acoperă domenii largi de capabilități, inclusiv manipularea algebrică a datelor pentru combinarea și reducerea valorilor, gestionarea stării cu tipizare sigură și gestionarea funcțională a erorilor pentru a formaliza acumularea și recuperarea acestora. Oferă, de asemenea, instrumente pentru gestionarea computațiilor cu efecte și extinderea tipurilor de colecții standard cu capabilități funcționale. Biblioteca include mecanisme pentru validarea legilor algebrice, asigurând că instanțele de type class respectă proprietățile matematice.

ts-essentials este un set de instrumente cuprinzător de tipuri utilitare și biblioteci pentru TypeScript, oferind primitive avansate pentru transformări structurale recursive, aserțiuni la runtime și type guards. Servește drept bibliotecă utilitară pentru efectuarea programării complexe la nivel de tip pentru a asigura o siguranță mai puternică a tipurilor și a reduce boilerplate-ul. Proiectul se distinge printr-un set specializat de instrumente pentru manipularea profundă a obiectelor, cum ar fi aplicarea recursivă a modificatorilor read-only sau opționali în ierarhii imbricate. De asemenea, oferă un set dedicat de constrângeri stricte de tip pentru a asigura că structurile de date respectă în mod specific specificațiile JSON. Setul de instrumente acoperă o gamă largă de capabilități, inclusiv analiza tipurilor pentru extracția metadatelor, manipularea uniunilor și tuplelor și validarea identității structurale. Include, de asemenea, utilitare de verificare la runtime pentru a impune exhaustivitatea cazurilor în logica condițională și pentru a valida constrângerile de tip în timpul execuției.