-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Monadic iteration for measures? #55
Comments
Thanks @oschulz . We've talked a little bit about ideas in this direction, and I appreciate your creating these issues to make things easier to track. Similar to likelihoods, I think pushforwards need to be set up in a way that allows simplification in cases with closed form solutions. The problem with sampling is that it "forgets" about any structure of a given measure and takes a very specific concrete approach. I like the idea of being able to map a measure to an infinite stream of samples (maybe similar to |
By defining
we could make measures monadic in respect to Julia's iteration interface:
This would play well semantically with a syntax
f.(μ)
for pushforward measures (#54).x^2 for x in Normal
would become semantically equivalent tox ~ Normal(); return x^2
in a model.The text was updated successfully, but these errors were encountered: