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

monads scala lambda-functions monoids functors corecursion referentialtransparency purefunctions

cats sbt recursion variance trampoline monoids monad-transformers eval traverse continuations defer kleisli functors scala-cli natural-transformations corecursion stack-safety fail-fast-semantics