JuliaMath / JuliaMath/MeasureTheory.jl

Change `bind` to `compound`?

Open
#227 2 comments 0 reactions 0 assignees View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.