sum-types

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

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

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

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

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

adt typescript sum-types

python python3 types sum-types

either union-types elm sum-types result

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

functional-programming overloaded-functions typeclass polymorphism algebraic-data-types adt sum-types tagged-unions debugging pure-functional pure-function monad recursion monoid typeclasses javascript functor

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

elm optics select union-types adt sum-types

rust data-structures sum-types