C# functional language extensions - a base class library for functional programming
-
Updated
May 24, 2024 - C#
C# functional language extensions - a base class library for functional programming
Functional companion to Kotlin's Compiler
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
Over-Complicated Database Query using higher-kinded data
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
Functional Programming library for Java
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
Experiments with higher-kinded types and object algebras in C#
logger-f, Logger for F[_]
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
Zero-dependency, purely functional library for effectful programming in Typescript
Fωμ type checker and compiler
Rust General Associated Types emulation together with functional style traits
Functional Programming and Higher Kinds in Rust
Add a description, image, and links to the higher-kinded-types topic page so that developers can more easily learn about it.
To associate your repository with the higher-kinded-types topic, visit your repo's landing page and select "manage topics."