Rust General Associated Types emulation together with functional style traits
-
Updated
Feb 25, 2020 - Rust
Rust General Associated Types emulation together with functional style traits
Functional Programming and Higher Kinds in Rust
Having fun with HKTs and a functional code base
Some experiments using @flowtype
Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
A statically typed functional programming inspired by Haskell, OCaml and Rust.
Lambe compiler
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
Repository for playing with spark
Extract or modify pieces of arbitrarily nested types with type lenses
Presentation I gave on Krakow Scala User Group
Experimental HKT framework and generic traits for the standard library
Non trivial Type Programming in Typescript
Highly experimental TypeScript project providing a type-level lambda.
Effectful OCaml with Objects and Variants
Pratical functional programming presentation and sample.
Explore functional DSLs and type systems in Java and Kotlin that facilitate easier-to-read, cleaner, more testable, and more fault tolerant code
Abstract patterns in JS
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."