sum-types

pattern-matching c99 metaprogramming algebraic-data-types introspection adt type-system variant derive algebraic sum-types reflection-library tagged-unions metalang99

java algebra functional-programming fold annotation-processor algebraic-data-types visitor java-8 optics visitor-pattern discriminated-unions sum-types laziness derive4j catamorphisms exhaustiveness-checking tagged-unions

javascript functional-programming composition algebraic-data-types recursion monad transducers polymorphism monad-transformers purity pure-function sum-types folding function-composition point-free tagged-unions catamorphism anamorphism corecursion lazyness

c functional-programming pattern-matching algebraic-data-types error-handling header-only introspection discriminated-unions sum-types c-library exhaustiveness-checking tagged-unions poica

golang monads reactive collection stream functional-programming pattern-matching actor-model pubsub reactive-programming monad functional-reactive-programming curry golang-library optional currying sum-types optional-implementations publisher-subscriber publisher-subscriber-pattern

python3 algebraic-data-types sum-types tagged-unions

map performance immutable avl-tree functional-programming dictionary effects value-semantics persistent algebraic-data-types data-structures hashmap lock-free discriminated-unions hashtable memory-efficient sum-types compare-and-swap 2-3-tree reference-semantics

typescript adt sum-types

cpp functional-programming recursion variants header-only variant sum-types cpp20 recursive-types header-only-library

javascript functional-programming tuples composition immutability recursion higher-order-functions polymorphism currying type-system lazy-evaluation hindley-milner purity sum-types unification combinators parametric-polymorphism tagged-unions scott-encoding row-polymorphism

dart algebraic-data-types code-generation flutter sum-types

functional csharp algebraic-data-types union discriminated-unions variant sum-types csharp-sourcegenerator

js functional-programming enum algebraic-data-types sum-types

swift functional-programming iphone frp sum-types immutable-data-structures value-types

python types python3 sum-types

elm result either union-types sum-types

haskell parser-combinators solutions algebraic-data-types monad functor monoid semigroup abstract-data-types monad-transformers applicative traversable sum-types haskell-book foldable haskellbook newtype haskell-programming product-type

dart immutable sum-types dartlang

go golang union sum-types

swift functional-programming property-based-testing frp immutable-datastructures mvvm-architecture sum-types value-types

select elm optics adt union-types sum-types