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.
Presentation I gave on Krakow Scala User Group
Repository for playing with spark
Extract or modify pieces of arbitrarily nested types with type lenses
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."