From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 755287EE25 for ; Fri, 25 Oct 2013 17:58:04 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.215.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.215.173 as permitted sender) identity=mailfrom; client-ip=209.85.215.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ea0-f173.google.com) identity=helo; client-ip=209.85.215.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ea0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvQBAJqUalLRVdetnGdsb2JhbABZhBO+SYEaCBYOAQEBAQEGDQkJFCiCJQEBBAFAARsdAQMBCwYFBAcNLiIBEQEFARwGEwiHbAEDCQabAYxWgwqELQoZJw1kiQEBBQyPRweELAOYCpAbGCmEUzo X-IPAS-Result: AvQBAJqUalLRVdetnGdsb2JhbABZhBO+SYEaCBYOAQEBAQEGDQkJFCiCJQEBBAFAARsdAQMBCwYFBAcNLiIBEQEFARwGEwiHbAEDCQabAYxWgwqELQoZJw1kiQEBBQyPRweELAOYCpAbGCmEUzo X-IronPort-AV: E=Sophos;i="4.93,571,1378850400"; d="scan'208";a="31895107" Received: from mail-ea0-f173.google.com ([209.85.215.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Oct 2013 17:57:48 +0200 Received: by mail-ea0-f173.google.com with SMTP id g10so763495eak.4 for ; Fri, 25 Oct 2013 08:57:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=jGkYLTbcYascmoCL1nGJEVkjdWJGCFdQAw7d7wOIwKU=; b=FFHTVP7dq4IwRm3smFW5MUKG4lF3QV6/Up6AUldJ3rk8cAQGURg/Y6Gekbr1+tejYh SbpnEuUih9Gh6fsB0IcGasZlhmTDoAeRFxmzbVO8Z7ql9ODT07HgS8kB2kJj/fWSAPba 9VIHUFZC2J6ceB/TNafZTYAm/KVwxgJb1RG+sw4HlObXDvhdjh7TN5CmHlaUK0Bxjk8+ kUN4CCOea2lgxFf8XkwE4y0hgTtjumjTCglwzR4ETcRhTUTV8zz/Hm8umEYElvFdEUqx E0DFwWbJKoygdPAdE0f8aoKcVHbT265egTPttgi7u2tpO6IzzSTgLEHcGNo0cY1shnx4 ATFw== X-Received: by 10.205.76.133 with SMTP id ze5mr16130bkb.37.1382716668199; Fri, 25 Oct 2013 08:57:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.122.72 with HTTP; Fri, 25 Oct 2013 08:57:08 -0700 (PDT) In-Reply-To: <20131025154728.GA6982@kerneis.info> References: <20131025154728.GA6982@kerneis.info> From: Gabriel Scherer Date: Fri, 25 Oct 2013 17:57:08 +0200 Message-ID: To: Gabriel Kerneis Cc: Simon Cruanes , OCaml users Content-Type: multipart/alternative; boundary=f46d041555ecd575be04e992cff9 Subject: Re: [Caml-list] [ANN] random-generator 0.1 (Was: [ANN] QCheck 0.1) --f46d041555ecd575be04e992cff9 Content-Type: text/plain; charset=ISO-8859-1 > 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 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 > --f46d041555ecd575be04e992cff9 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
> 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 struct= ures in the documentation:

Remark: I have no ide= a what the distribution of terms generated used this technique is, and whet= her it is "uniform" -- probably not. I only found it very useful = in practice.

(The wording should be changed to "su= rely 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 <<= a href=3D"mailto:gabriel@kerneis.info" target=3D"_blank">gabriel@kerneis.in= fo> 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
> =A0 (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

--f46d041555ecd575be04e992cff9--