All Categories → No Category → higher-kinded-types

Top 4 higher-kinded-types open source projects

C# functional language extensions - a base class library for functional programming

✭ 3,964

C#functional-programming monad monads lenses functor records functional-languages monoid semigroup monad-transformers applicative immutable-collections bcl immutable-types higher-kinded-types language-ext ad-hoc-polymorphism structural-equality

Over-Complicated Database Query using higher-kinded data

✭ 34

scala shell crud database doobie higher-kinded-types

real-async-trait-rs

A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure

✭ 38

rust hkt proc-macro existential-types higher-kinded-types proc-macro-attributes async-trait generic-associated-types

Fωμ type checker and compiler

✭ 46

ocaml shell wip type-system hobby-project higher-kinded-types equirecursive-types structural-types impredicative-types

1-4 of 4 higher-kinded-types projects