Awesome GitHub RepositoriesParametric Polymorphism

Odin is a compiled, statically typed systems programming language designed for high-performance software development. It focuses on pragmatic low-level memory control, providing a toolset for manual memory management and precise control over hardware utilization. The language is distinguished by its flexible memory model, which includes custom allocators and precise data layout capabilities to optimize resource usage. It features a comprehensive foreign function interface for importing assembly files and linking with external libraries using configurable calling conventions. The type system

PureScript is a statically typed, purely functional programming language that compiles to JavaScript. It is designed as a cross-platform frontend language for building safe web applications, utilizing a static type system and a JavaScript compiler to ensure program correctness across browser and server environments. The language is distinguished by its emphasis on mathematical purity, featuring a robust type system with first-class support for monads. It provides a sophisticated toolset for static verification, including algebraic data types, type classes, and automatic type inference to reje

Dhall este un limbaj de configurare type-safe conceput pentru a crea fișiere de configurare programabile care sunt garantate să se termine. Este un limbaj non-Turing-complete care utilizează un sistem de tipuri strict pentru a asigura corectitudinea și a preveni buclele infinite în timpul evaluării. Proiectul funcționează ca un motor de configurare determinist și instrument de marshalling, convertind expresiile programabile în formate statice precum JSON, YAML și Bash. Se distinge printr-un accent pe securitate și integritate, utilizând hashing semantic pentru a fixa importurile la distanță și impunând politici de origine pentru a preveni exfiltrarea datelor. Capabilitățile sale acoperă o suprafață largă de gestionare a configurației, inclusiv utilizarea funcțiilor polimorfice, a tipurilor union și a completării înregistrărilor pentru a reduce redundanța. Oferă instrumente pentru validarea schemelor, rezolvarea expresiilor la distanță și o implementare Language Server Protocol pentru integrarea în editor. Limbajul oferă o interfață de linie de comandă și un REPL pentru evaluarea expresiilor și verificarea egalității.