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 pubsub reactive-programming monad functional-reactive-programming curry golang-library optional currying golang-tools 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 value-semantics persistent algebraic-data-types data-structures zipper lock-free discriminated-unions memory-efficient sum-types compare-and-swap 2-3-4-tree reference-semantics

typescript adt sum-types

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

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

js functional-programming enum algebraic-data-types sum-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

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

clojure pattern-matching spec sum-types

select elm optics adt union-types sum-types

dart immutable sum-types dartlang

dart functional sum-types

go golang union sum-types

rust data-structures sum-types

sum-types

java product functional-programming pattern-matching sum-types railway-oriented-programming coproduct vavr

rust sum enum error try derive sum-types

typescript algebraic-data-types enums sum-types tagged-unions