Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
-
Updated
Dec 1, 2022 - Java
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Algebraic data types for C99
Monad, Functional Programming features for Golang
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
Algebraic data types for Python (experimental, not actively maintained)
Fast and memory-efficient immutable collections and helper data structures
Solutions to exercises from the book Haskell Programming
An implementation of Sum types in Julia
A code generator enabling sum-types in Dart
Functional Enum type / Sum type for javascript with simple pattern matching
Track periodic goals — a sample iPhone app
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
Recursive Variant: A simple library for Recursive Variant Types
Result, Either, Try, and Maybe monadic types for Java
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Add a description, image, and links to the sum-types topic page so that developers can more easily learn about it.
To associate your repository with the sum-types topic, visit your repo's landing page and select "manage topics."