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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BA58E7EE5B for ; Mon, 8 Apr 2013 10:33:26 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dhouse@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dhouse@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgIBAGOAYlEmacjlmWdsb2JhbABRhh++RH8eDgEBAQEBBg0LBxQogh8BAQVAAQE3AQ8LCw0uIQESAQUBHAYTiAIDDwOfIopvhDsBBYQ7DYlXBoxQglMHg0GVFoFhi3ODORYphC8 X-IPAS-Result: AgIBAGOAYlEmacjlmWdsb2JhbABRhh++RH8eDgEBAQEBBg0LBxQogh8BAQVAAQE3AQ8LCw0uIQESAQUBHAYTiAIDDwOfIopvhDsBBYQ7DYlXBoxQglMHg0GVFoFhi3ODORYphC8 X-IronPort-AV: E=Sophos;i="4.87,429,1363129200"; d="scan'208";a="12234881" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Apr 2013 10:33:07 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1UP7Vg-0002c3-Ra for caml-list@inria.fr; Mon, 08 Apr 2013 04:33:04 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1UP7Vg-0004aN-Qn for caml-list@inria.fr; Mon, 08 Apr 2013 04:33:04 -0400 Received: from mail-wi0-f199.google.com ([209.85.212.199]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1UP7Vg-0004iL-N3 for caml-list@inria.fr; Mon, 08 Apr 2013 04:33:04 -0400 Received: by mail-wi0-f199.google.com with SMTP id c10so3394406wiw.10 for ; Mon, 08 Apr 2013 01:33:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=x-received:mime-version:x-received:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=RZw1QB9u2sdPYPGic4mgWZMfMzv8o8oEIbc1jbf8flQ=; b=mJ8CxwWNoH686RFvP7SBYjJq29Ro1CNjPf8e8Kg+FgxLxHcqJTlQNjmkvsV48e7/C4 TvHXxy0SPfffFZqyeyTRIz3RY5+bJrghQ/t4UeP5SFXKT1BofOnDZHixKnr/1xYjFYpK TKXM8CbgXEgh6mBQDR35b9CUGmmcD5EVp6z+E= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-received:mime-version:x-received:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=RZw1QB9u2sdPYPGic4mgWZMfMzv8o8oEIbc1jbf8flQ=; b=NH6eeJXx1FO6a6+ybR+Tvd59pilfS6TzUwdqdQBjSOa+BzK9dBikIU9QudkmQD5qwi yewd1egU94elliIUgjoxK+zZYGqxRoPPc4/PZHZW2dt7rJ+7hyRlkV3mYUW9QsODCt2o dMvG8xmpcCVgwO8dYg/SUGaImjMD3OeLZbkeyMWe06wTvDZUszn6d6PKabOLYfpbbU/K ulN9MJM/Yrs+a2BaaJT11N0AANgu7izfsiHTo9U1of1UD6JTzbH34v+7F4/9Orc/UAl6 kjiIiOMdzELToPgkrjLCV5iEEFcwDjDQpGMNcYNeJpCXB44hr5Asl5xctI9cYxoUSnfb nz8w== X-Received: by 10.14.183.67 with SMTP id p43mr13833457eem.10.1365409984158; Mon, 08 Apr 2013 01:33:04 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.14.183.67 with SMTP id p43mr13833435eem.10.1365409984053; Mon, 08 Apr 2013 01:33:04 -0700 (PDT) Received: by 10.223.5.19 with HTTP; Mon, 8 Apr 2013 01:33:03 -0700 (PDT) In-Reply-To: References: Date: Mon, 8 Apr 2013 09:33:03 +0100 Message-ID: From: David House To: Anthony Tavener Cc: Yaron Minsky , "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQmBzweM4rIjseoO2PKfzltICMFSs4Mam8mUbHn3ioYOFPR0sXliXjUeZYEFQbjfVbhBWUsNmM5HGV84eZno6PFTApXHyhTGnbnVdIa8cea8UJIOtGDZN84LvmZ40c/DzV3rcOjyQ4cwkmPV9AznHhaj0neL8g== Subject: Re: [Caml-list] Heterogeneous dictionary Hopefully as Jane Street releases more of our code and projects, that could be a useful set of examples. On 5 April 2013 21:27, Anthony Tavener wrote: > On Fri, Apr 5, 2013 at 2:03 PM, Yaron Minsky wrote: >> Jason, Anil and I are working Real World OCaml. I'm hoping that will >> have some utility for this purpose. > > Yes, I look forward to it! I have no local OCaml devs to compare > with and aside from a few blogs there isn't much material. Well, > there are a lot of projects with source to study, but a summary > of ideas is nice. >