JuliaMath / JuliaMath/MeasureTheory.jl
Paring down MeasureBase
Open
- Dominant language
- Julia
- Stars
- 401
- Forks
- 31
- PR merge metrics
- No merged PRs in 30d
Description
The current MeasureTheory/MeasureBase partitioning is kind of ad hoc. What we really need is for MeasureBase to contain only
1. Whatever is needed for defining new measures
2. Anything else needed to avoid type piracy
The biggest source of code will be the need to specify base measures. For example, MeasureBase needs to have `ProductMeasure`, or people won't be able to define anything having a product as a base measure.
Let's identify things not required by the above criteria and discuss moving them to MeasureTheory, to allow MeasureBase to be lighter-weight.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.