JuliaMath / JuliaMath/MeasureTheory.jl
Change `bind` to `compound`?
- Dominant language
- Julia
- Stars
- 401
- Forks
- 31
- PR merge metrics
- No merged PRs in 30d
Description
For push-forwards, we have
```julia
pushfwd(f, m)
```
If the `f` of a pushforward is noisy, it becomes a kernel, and the pushforward becomes a compound measure:
https://en.wikipedia.org/wiki/Compound_probability_distribution
This is currently called `bind`, because it matches the monadic bind operation from functional programming. But `bind` is unfamiliar to most users.
Maybe this should instead be
```julia
compound(k, m)
```
where `k` is a kernel. For functions, we'd have
```julia
compound(f::Function, m::AbstractMeasure) = compound(kernel(f), m)
```
For more discussion, see https://github.com/cscherrer/MeasureTheory.jl/pull/226
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.