Pratical functional programming presentation and sample.
-
Updated
May 19, 2017 - Scala
Pratical functional programming presentation and sample.
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
Having fun with HKTs and a functional code base
Some experiments using @flowtype
Functional Programming and Higher Kinds in Rust
Presentation I gave on Krakow Scala User Group
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
Rust General Associated Types emulation together with functional style traits
Experiments with higher-kinded types and object algebras in C#
Repository for playing with spark
Over-Complicated Database Query using higher-kinded data
Lambe compiler
Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
Non trivial Type Programming in Typescript
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)
Highly experimental TypeScript project providing a type-level lambda.
Explore functional DSLs and type systems in Java and Kotlin that facilitate easier-to-read, cleaner, more testable, and more fault tolerant code
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."