kotlin monads functional-programming arrow kotlin-library category-theory recursion-schemes optics polymorphism typeclasses monad-transformers free-monads functional-data-structure continuations for-comprehension typed-lambda-calculus tagless-final fp-types typeclass-derivation delimited-continuations

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 reactive functional-programming asynchronous reactive-streams streams data-structures monad collections java8 monoid monad-transformers streams-api

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

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

extensions arrow-functions generic-functions f-sharp lenses monad-transformers computation-expressions

scala effects monad monad-transformers

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

validation minimal functional-programming error-handling typeclass monad-transformers enums union-types

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

haskell monad monad-transformers

scala dsl monad future raii monad-transformers continuation-passing-style compiler-plugin exception-handling

monads probabilistic-programming monad-transformers nondeterminism

data haskell monad error-handling monad-transformers

scala functional-programming effects pure monad free-monad modularity monad-transformers

java monads memoization stream experimental functional-programming tuples io-monad monad free-monad trampoline typeclasses monad-transformers immutable-collections zio mtl tagless-final higher-kinded-types

scala asynchronous reference-count raii monad-transformers

haskell memoization monad-transformers

purescript transformer monad-transformers

haskell monad-transformers eff

scala scalaz scalajs monad-transformers

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

scala functional-programming birds effects monad free-monad monad-transformers mtl

haskell monad-transformers compiler-optimization explanatory

haskell monad-transformers writer-monad

haskell monad-transformers writer-monad

scala monad error-handling monad-transformers for-comprehension monaderror

game svg monads haskell functional-programming catan frp monad-transformers threepenny-gui mvar

purescript lift monad-transformers monad-control

monads monad-transformers writer-monad state-monad either-monad reader-monad haskell-tutorial haskell-exercises maybe-monad