Chad Scherrer

@shashi I think this could work: ```julia using SymbolicUtils using SymbolicUtils: FnType, Symbolic, Sym, symtype import Base struct Lambda{X,Y,SX,SY} @syms i::Int x::Real (i, x) julia> λ = i ↦ i*x...

cc @dpsanders (since we had talked about sums)

Need to implement some more methods, more to come...

> It's not clear to me that we should be defining Base.sum etc (where do we stop?) Good point. I think it's important to be able to have symbolic expressions...

In my experience, there's essentially no benefit to carrying around the full covariance matrix; it works just fine to work in terms of the positive semidefinite Cholesky factor, or even...

Hi, just wondering if there's any update on this. I was thinking about how to implement a product distribution, but my intuition was that a product should be in the...

I'm getting caught up a little bit by the types, still getting used to some fine points of Julia. Rather than having everything be abstract, I was considering having a...

Hmm, it might be even simpler than this. It works just fine to build a product as a tuple: ```julia entropy(d :: Tuple{Distribution, Distribution, Distribution}) = sum(entropy.(d)) mean(d :: Tuple{Distribution,...

FWIW in MeasureTheory we're trying to stick to categorical interpretation of `\otimes` and `\oplus`, so the latter will (I think) be a disjoint union. In any case, it seems worth...

We've discussed ([here](https://github.com/cscherrer/MeasureTheory.jl/issues/170#issuecomment-963205784)) the possibility of using `⊗` and `⊕` to mean product measure and superposition, but @ablaom pointed out that it's useful for `⊕` to be the coproduct, which...