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

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

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

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

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

clojure clojure-library monad functor category-theory monoid

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

algebra monad category-theory monoid semigroup bucklescript theory prelude reasonml abstract category semiring abstract-algebra reason semigroupoid

functional-programming monad functor monoid typeclass semigroup functional-js

haskell tree algorithms monoid datastructure homomorphism treap

swift monoid

python data-science data big-data spark algorithms nosql transformations distributed-computing pyspark monoid mapreduce partitioning dataframe rdd graphframes data-abstractions pyspark-algorithms

computer-algebra c-plus-plus-11 enumeration monoid semigroup congruence

solver tactics idris arithmetic monoid

kata functional-programming monoid composite-pattern

threejs purescript monoid

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 algebra functional-programming monoid semigroup pub field group dartlang abstractalgebra vectorspace

monads functional-programming elm algebraic-data-types monoid adts

twitter examples algebird monoid

anaconda python-bindings monoid semigroup congruence libsemigroups-library

functional scala lambda-calculus writer monad reader free monoid semigroup monad-transformers

haskell parse hackage monoid endo setter len haskell-programming-language corner-cases endomorphism-utilities endomorphism

haskell-library monoid semigroup phantom-types

functional monad monoid maybe either mypy endofunctors

redux typescript functional-programming reducer type-safe monoid reducer-creation strong-typed