Re: [Caml-list] [ANN] random-generator 0.1 (Was: [ANN] QCheck 0.1)

[Gabriel Scherer <gabriel.scherer@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1144 bytes --]

> Do you know about Boltzmann samplers/generators, and how they compare to
> your "fueled" generators?

No. I made a mention of my deep ignorance of probability on combinatoric
structures in the documentation:

Remark: I have no idea what the distribution of terms generated used this
> technique is, and whether it is "uniform" -- probably not. I only found it
> very useful in practice.
>

(The wording should be changed to "surely not [uniform]". If you can't
prove it's uniform, it's not uniform.)

I think I don't have enough (time weighted by interest) to learn about this
stuff right now. But feel free to send me emails to convince me that it's
fascinating, or patches implementing better approaches.



On Fri, Oct 25, 2013 at 5:47 PM, Gabriel Kerneis <gabriel@kerneis.info>wrote:

> Hi Gabriel,
>
> On Fri, Oct 25, 2013 at 04:51:23PM +0200, Gabriel Scherer wrote:
> > - a type ('a fueled) for generation of values with an inductive
> >   (tree-like) structure that looks nice to the human eye;
>
> Do you know about Boltzmann samplers/generators, and how they compare to
> your "fueled" generators?
>
> Best regards,
> --
> Gabriel
>

[-- Attachment #2: Type: text/html, Size: 1857 bytes --]