higher-kinded-types

There are 2 repositories under higher-kinded-types topic.

language-ext
louthy / language-ext
C# functional language extensions - a base class library for functional programming
ad-hoc-polymorphism applicative bcl c-sharp f-sharp functional-languages functional-programming functor higher-kinded-types immutable-collections immutable-types language-ext lenses monad monad-transformers monads monoid records semigroup structural-equality
Language:C# 6151
arrow-meta
arrow-kt / arrow-meta
Functional companion to Kotlin's Compiler
metaprogramming quasiquote template-metaprogramming compiler-plugin kotlin-compiler kotlin kotlin-multiplatform typesystem macros linter tree-structure codegeneration code generics union-type higher-kinded-types typeclasses meta ide intellij-plugin
Language:Kotlin 389
i-am-tom / higgledy
Higher-kinded data via generics
generics ghc higher-kinded-types
Language:Haskell 170
geoffreytools / free-types
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.
higher-kinded-types hkt type-level-programming typescript
Language:TypeScript 141
lloydmeta / diesel
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
tagless-final macros finally-tagless scala dsl scalaz cats scalameta higher-kinded-types typed-final
Language:Scala 109
tonivade / purefun
Functional Programming library for Java
java functional-programming experimental monads higher-kinded-types typeclasses tuples io-monad monad tagless-final free-monad memoization monad-transformers stream immutable-collections mtl effects
Language:Java 104
baetheus / fun
A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
monad typescript deno algebraic-data-types higher-kinded-types functor option either task effects functional-programming
Language:TypeScript 97
mtomassoli / HKTs
Seamless Higher-Kinded Types in Rust
higher-kinded-types rust
Language:Rust 69
arrow-kt / arrow-meta-examples
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
metaprogramming quasiquote template-metaprogramming compiler-plugin kotlin-compiler kotlin kotlin-multiplatform typesystem macros linter tree-structure codegeneration code generics union-type higher-kinded-types typeclasses meta ide intellij-plugin
Language:Kotlin 58
polytypic / f-omega-mu
Fωμ type checker and compiler
equirecursive-types higher-kinded-types hobby-project impredicative-types structural-types type-system wip
Language:OCaml 51
4lDO2 / 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
async-trait generic-associated-types hkt higher-kinded-types existential-types proc-macro proc-macro-attributes
Language:Rust 45
thautwarm / FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
functional-programming higher-kinded-types monad monoids subtypeclassing typeclasses
Language:F# 42
scalalandio / ocdquery
Over-Complicated Database Query using higher-kinded data
scala doobie database crud higher-kinded-types
Language:Scala 36
tgrospic / object-algebras
Experiments with higher-kinded types and object algebras in C#
csharp effects higher-kinded-types object-algebras
Language:C# 35
smpoulsen / terp
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
lisp programming-language interpreter ml hindley-milner higher-kinded-types
Language:Elixir 34
polytypic / rea-ml
Effectful OCaml with Objects and Variants
hobby-project asynchronous effects applicatives functors monads checked-exceptions ocaml higher-kinded-types tagless-final
Language:OCaml 28
fp4ts / fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
functional-programming category-theory typescript higher-kinded-types typelevel algebraic-effects
Language:TypeScript 24
Ereski / generic-std
Experimental HKT framework and generic traits for the standard library
experimental higher-kinded-types rust standard-library
Language:Rust 21
geoffreytools / type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
higher-kinded-types hkt type-level-programming typescript
Language:TypeScript 20
lambduli / frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
repl programming-language type-inference damas-hindley-milner hindley-milner higher-kinded-types functional-language inference lazy-evaluation
Language:Haskell 17
daviswahl / rats
Functional Programming and Higher Kinds in Rust
rust functional-programming monads higher-kinded-types
Language:Rust 10
kevin-lee / logger-f
logger-f, Logger for F[_]
scala functional-programming fp logger tagless tagless-final finally-tagless higher-kinded-types typeclass type-class
Language:Scala 10
thautwarm / HigherKindedPolymorphisms.jl
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
higher-kinded-types julia traits
Language:Julia 9
lambe-lang / specification
A statically typed functional programming inspired by Haskell, OCaml and Rust.
functional-programming traits abstract-data-types higher-kinded-types static-typed
Language:TeX 8
williamareynolds / ts-cat
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
category-theory typescript-library typescript maybe maybe-monad functor applicative monad fantasy-land fantasy-land-spec static-land static-land-spec type-classes higher-kinded-types
Language:TypeScript 7
lambe-lang / compiler
Lambe compiler
functional-programming compiler trait static-typed higher-kinded-types abstract-data-types
Language:OCaml 5
GrayJack / gat
Rust General Associated Types emulation together with functional style traits
functional-programming higher-kinded-types rust
Language:Rust 4
AL333Z / pratical-fp
Pratical functional programming presentation and sample.
fp scala polymorphism higher-kinded-types
Language:Scala 3
decorator-factory / ts-generic-rep
Highly experimental TypeScript project providing a type-level lambda.
typescript higher-kinded-types type-level-programming
Language:TypeScript 3
mduerig / java-functional
Exploring ways to encode functional concepts like structural pattern matching, type classes and fixed points in Java.
java functional-programming fixed-point functor pattern-matching higher-kinded-types
Language:Java 2
frontsideair / flow-playground
Some experiments using @flowtype
flow javascript higher-kinded-types
Language:JavaScript 1
mtomassoli / TS-Experiments
Non trivial Type Programming in Typescript
higher-kinded-types typelevel-programming typescript
Language:TypeScript 1
wshager / abstractng
Abstract patterns in JS
abstract fp functional generics higher-kinded-types programming transducers typeclasses typescript
Language:TypeScript 1
BrookShuihuaLee / mobo-ts
A pluggable typescript library / 一个可插件化的 TS 库
aop higher-kinded-types hkt mobo pluggable plugin ts typescript
Language:TypeScript 0
GuiBrandt / higher-kt
Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
functional-programming kotlin category-theory typeclasses higher-kinded-types annotation-processor code-generation
Language:Kotlin 0
anticipasean / funcify
Explore functional DSLs and type systems in Java and Kotlin that facilitate easier-to-read, cleaner, more testable, and more fault tolerant code
java kotlin functional-programming functional-reactive-programming algebraic-data-types higher-kinded-types higher-order-functions project-reactor flux mono persistent-data-structure graph-structures
Language:Java