5 repositorios
Frameworks that provide high-level abstractions for type-safe and predictable application development using functional paradigms.
Distinct from TypeScript: The candidates focus on general TypeScript web development or project generators, whereas this is about the functional programming paradigm applied to application architecture.
Explore 5 awesome GitHub repositories matching programming languages & runtimes · Functional Programming Frameworks. Refine with filters or upvote what's useful.
This project is a functional programming library and toolkit for building production TypeScript applications. It provides a system for managing concurrency, error handling, and resource lifecycles using functional effects. The project distinguishes itself through a comprehensive suite of specialized toolkits, including a dependency injection framework for decoupling service implementations, a workflow orchestrator for coordinating durable processes, and a SQL database toolkit for consistent data operations across multiple dialects. It also implements an OpenTelemetry instrumentation library f
Provides a comprehensive toolkit for building production TypeScript applications centered on type safety and managed side effects.
Scala is a statically typed programming language and compiler that combines object-oriented and functional programming paradigms. It serves as a cross-platform runtime language capable of targeting the Java Virtual Machine and JavaScript to share logic between backend servers and web frontends. The project provides a functional programming framework with immutable data structures and higher-order functions to build reliable concurrent and distributed applications. It distinguishes itself through deep interoperability with Java and JavaScript ecosystems and the ability to transform code into n
Provides a functional programming framework featuring immutable data structures and higher-order functions.
Clojure is a general-purpose, functional programming language hosted on the Java Virtual Machine. It is a homoiconic S-expression language that represents programs as nested data structures, allowing code to be manipulated and evaluated as data. The project provides a framework for JVM interoperability, enabling the invocation of Java methods and integration with other JVM-based languages. It distinguishes itself through a persistent data structure library that uses bitmapped vector tries to manage immutable collections and a programmatic REPL for interactive software development and real-tim
Provides a high-level framework for application development based on functional paradigms and immutable data structures.
language-ext is a functional programming framework for C# that provides a suite of immutable data structures and monadic types. It enables the implementation of pure functional programming patterns, utilizing containers to manage side effects, optional values, and error handling. The library is distinguished by its advanced concurrency and state management tools, including a software transactional memory system and lock-free atomic references. It also provides specialized utilities for distributed systems, such as vector clocks for causality tracking and deterministic data conflict resolution
Ships a complete functional programming framework for C# featuring immutable data structures and monadic types.
F# es un lenguaje de programación funcional fuertemente tipado y un compilador para el ecosistema .NET. Transforma código fuente funcional en Common Intermediate Language para su ejecución en el runtime de .NET y proporciona una biblioteca central fundamental de tipos y funciones primitivas. El lenguaje enfatiza la inmutabilidad y utiliza un sistema de inferencia de tipos estático basado en restricciones para determinar automáticamente los tipos de variables sin requerir anotaciones explícitas del usuario. También funciona como un proveedor de Language Server Protocol, exponiendo la lógica del compilador a través de una API basada en servicios para entregar análisis de código e inteligencia en tiempo real a editores e IDEs. El proyecto cubre el desarrollo de la infraestructura del compilador, el mantenimiento del runtime del lenguaje central y la creación de herramientas para el desarrollo de aplicaciones .NET.
Provides a strongly typed, functional programming language emphasizing immutability and type inference.