Daan Huybrechs

It seems Distributions.jl has its own interval type called `RealInterval`. That could be implemented using just [IntervalSets](https://github.com/JuliaMath/IntervalSets.jl), which is very lightweight. Somewhere in the near future possibly both IntervalSets and...

Hmm, I did not see a discussion about names coming up here. Points, to name just one example, are not infinite sets. And if I may short-circuit the discussion, inheritance...

> In other contexts ([InverseFunction](https://github.com/JuliaMath/InverseFunctions.jl/issues/10)) we've been talking about the need for more central APIs to query function properties, like maybe a "FunctionTraits" package, for functions like `ismonotonic`, `islinear`, `iscontinuous`...

> Sure, generic programming in Julia doesn't strictly need supertypes. Taking full advantage of multiple dispatch, though, in my experience, gets much easier with common supertypes (where would we be...

> Do we really have to, though? Like @dlfivefifty says, we even have infinite arrays now - and `AbstractArray` make a lot of assumptions, and has a lot of generic...

> In this case I would argue that the primary property of a set, and the domains and things we talk about here, is their, well, "set-likeness". :-) That's why,...

Product iteration is simple only in hindsight :-)

Hmm, this will be difficult to get right. There is a fairly comprehensive framework for iterating over combinations of function sets in BasisFunctions.jl, which I'm still not entirely happy with....

Ideally, nothing in DomainSets assumes an euclidean space and both packages Just Work (TM) together. Practice might be different, though :-) Do you have an idea of what is missing...

Thanks for the answers. It's a small world @kellertuer, I have a feeling I might learn a bit more about Manifolds.jl in the next couple of months ;-) Hopefully that...