Alexey Radul
                                            Alexey Radul
                                        
                                    Oh. Duh. That's even better.
Marking blocked on #450, to make room in the namespace for true multinomials with conjugate priors.
Re: special cases: Yes. At least two ways to avoid code duplication: - write compound procedures in Venture - do in-Python or in-C++ code reuse for the implementations The former...
No longer blocked on #450, which is now done.
So, what do we want to do about this (even in principle, as opposed to right now)?
Relevant code locations: - Existing randomized tests in test/properties - Perhaps the Venture Lite type system in types.py - The QuickCheck like property testing system in test/randomized.py and test/random_values.py, which...
Much though I like the algorithmic challenge of doing a K-S test for agreement between a sampler and a probability density function by running the quadrature needed to compute the...
Finite-domain discrete distributions are easier, because the exact answer for the Chi^2- or G-test can be computed by enumerating all values, because the pdf is also the probability mass function.
My notes say that this feature would enable a construct @vkmvkmvkmvkm called `estimate`, but I no longer remember what that construct was supposed to be (just the name).
Independent and Identically Distributed.