From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel@kerneis.info>
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 A00A87EE25
	for <caml-list@sympa.inria.fr>; Fri, 25 Oct 2013 17:47:33 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="gabriel@kerneis.info";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  gabriel@kerneis.info designates 176.31.113.173 as permitted
  sender) identity=mailfrom; client-ip=176.31.113.173;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="gabriel@kerneis.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@wanbli.kerneis.info designates 176.31.113.173 as
  permitted sender) identity=helo; client-ip=176.31.113.173;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="postmaster@wanbli.kerneis.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ah0FAFeRalKwH3Gt/2dsb2JhbABZgwe/VYEiFnSCJQEBBToGAQE3AQ8LGAklDwVJiBoEAaYRhFMBBY5jBo9TB4MfgQ2OcYkbhi+LWYMn
X-IPAS-Result: Ah0FAFeRalKwH3Gt/2dsb2JhbABZgwe/VYEiFnSCJQEBBToGAQE3AQ8LGAklDwVJiBoEAaYRhFMBBY5jBo9TB4MfgQ2OcYkbhi+LWYMn
X-IronPort-AV: E=Sophos;i="4.93,571,1378850400"; 
   d="scan'208";a="31893629"
Received: from wanbli.kerneis.info ([176.31.113.173])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 25 Oct 2013 17:47:33 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1;
	h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=gYRtp5cAJxX7SjCT52XA50DOkBSDpGzDj5bdxCyvUI0=;
	b=W75MwzU5T29EWPQCqNTmZ3IFpO/SUdctIEDTq5nsgJTmCWWG2nP8y1mQcH+Wh0ovYAqAl7wBBqtNDobjZeVqtDxffUOvAATUaejq4awfQEn4NYshAs4fRWUeICeZ4V7Hjngf49Ya9QCvWhe3mmM3McqHz4EMSmZCxSWKj0PljLM=;
Received: from wowasieco.sm.cl.cam.ac.uk ([128.232.60.22] helo=localhost)
	by wanbli.kerneis.info with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128)
	(Exim 4.80)
	(envelope-from <gabriel@kerneis.info>)
	id 1VZjbl-00072Q-TB; Fri, 25 Oct 2013 15:47:29 +0000
Date: Fri, 25 Oct 2013 16:47:29 +0100
From: Gabriel Kerneis <gabriel@kerneis.info>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Simon Cruanes <simon.cruanes.2007@m4x.org>,
	OCaml users <caml-list@inria.fr>
Message-ID: <20131025154728.GA6982@kerneis.info>
References: <CAPFanBG0hTAhHAmjrOyRCKm9Zj_4UksoO5S7fC=yog8s0+381A@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAPFanBG0hTAhHAmjrOyRCKm9Zj_4UksoO5S7fC=yog8s0+381A@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-SA-Exim-Connect-IP: 128.232.60.22
X-SA-Exim-Mail-From: gabriel@kerneis.info
X-SA-Exim-Scanned: No (on wanbli.kerneis.info); SAEximRunCond expanded to false
Subject: Re: [Caml-list] [ANN] random-generator 0.1 (Was: [ANN] QCheck 0.1)

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