MeasureTheory.jl currently has InfiniteArrays.jl as a dependency, because @dlfivefifty has some nice utilities for dealing with infinity as an integer value. This makes it handy for representing things like the support of a Poisson measure (we can write
ℤ[0:∞]). Here’s the code we depend on.
But this has some issues,
- We’re bringing in a lot of other code from InfiniteArrays we’re not currently using, and
- The name
∞collides with an export from @Tamas_Papp 's TransformVariables.jl, which we also rely on heavily.
The obvious solution is to have an
Infinity.jl the “owns” the name and has some sensible properties, and have everything depend on that. But there’s already such a library! Here’s Infinity.jl from @cjdoris .
But that doesn’t quite solve it, because here the standard is
∞ <: Real.
So, my hope is that there might be a way to include all of the “infinity functionality” in Infinity.jl. Then everything that needs ∞ can depend on this one package.
Do you think this can work out?