c-sharp monads functional-programming records functional-languages equality generic f-sharp monad functor lenses monoid semigroup monad-transformers applicative immutable-collections bcl immutable-types higher-kinded-types language-ext ad-hoc-polymorphism structural-equality

functional-programming async promise algebraic-data-types monad control-flow future fantasy-land sanctuary cancellation fluture

functional-programming monad functor curry functional-js

java algebra functional-programming effects algebraic-data-types monad property-based-testing persistent-data-structure monoid optics

lift composition monad functor monoid curry adt predicate-functions unary-functions pair

java reactive functional-programming asynchronous reactive-streams streams data-structures monad collections java8 monoid monad-transformers streams-api

elixir algebra algebraic-data-types monad functor operators category applicative type-class traversable

java lambda functional-programming tuples io-monad algebraic-data-types monad functor lenses monoid semigroup optics either hlist profunctors traversable coproduct maybe-monad bifunctors try-monad

haskell functional-languages design-patterns monad functor category-theory typeclasses monoids monad-transformers strategy-pattern builder-pattern traversable factory-pattern function-composition pattern-language reader-monad gof-patterns functors iterator-pattern typeclassopedia

algebra functional-programming algebraic-data-types specification monad functor monoid fantasy-land adt algebraic static-land

typescript validation functional-programming algebraic-data-types monad functor option-type fantasy-land maybe either result-type

rust functional-programming lambda-calculus monad functor category-theory monoid hkt applicative homomorphism comonad morphism

construction comonads coq monad functor category-theory monoid categories category cartesian-closed-category cartesian profunctor profunctor-composition

comonads monads tutorial scala course functional-programming monad functor monoid typeclasses monad-transformers applicative functional-idioms

elixir pipeline macros monad elixir-pipelines

swift swift-library functional-programming cocoapods carthage composition effects fp reactive-programming monad functor category-theory free-monad bow spm mtl tagless-final declarative-programming

scala effects monad monad-transformers

clojure clojure-library monad functor category-theory monoid

ruby rubygem gem functional-programming monad dry-rb

javascript typescript monad fantasy-land monad-library

task functional-programming async promise fp monad future

scala algebra functional-programming monad category-theory recursion-schemes monoid typeclass typeclasses monad-transformers free-monads

utility ramda monad lodash bucklescript reasonml

kotlin functional functional-programming class fp monad type result either

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

scala annotations monad scalaz thoughtworks comprehension scalaz-monadic-expressions macro-library

javascript monads js functional-programming fp monad io maybe either

haskell monad monad-transformers

cats scala monad scalajs monix futures

javascript babel babel-plugin continuation monad javascript-transpiler monadic-interface