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

python optimization dsl continuation monad functor monoid constraint-programming probabilistic-programming tail-call-optimization bayes resampling differentiation coroutine codata jax array-programming corecursion concatenative-programming applicative-functor