From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bluestorm.dylc@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 91C13BBAF
	for <caml-list@yquem.inria.fr>; Sat, 10 Oct 2009 13:49:25 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlkCAMYR0ErRVdnjkGdsb2JhbACRRokHPwEBAQEJCQwHEwOsdoE6hjKIZQEDAwWEKASBWA
X-IronPort-AV: E=Sophos;i="4.44,537,1249250400"; 
   d="scan'208";a="34650087"
Received: from mail-gx0-f227.google.com ([209.85.217.227])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2009 13:49:25 +0200
Received: by gxk27 with SMTP id 27so7650030gxk.7
        for <caml-list@yquem.inria.fr>; Sat, 10 Oct 2009 04:49:24 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:in-reply-to:references
         :date:message-id:subject:from:to:cc:content-type;
        bh=fHVmKSTg/iXsQit/mJquT5821+DNvVvEaGxevIMC82M=;
        b=OE386+GZrxMrPESZFMosDrMmjtc4OTe5sF763eMPZObqN87BzijMauTrmQ1V9Ylcvy
         armekwnT3w1cjx9BA4i1S2g89eLdN7V/3mPvV5ekXa52iA/DaYeLbIZnxZo18apH+SEU
         uNOPx9BEGzc5Q9scIA4CAefMrWCr+TUZh9Dog=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        b=APsZZ4fLzIVLn+tcro9dNu6r01TXwoET3eJQcitK5QwjA2/BGm1KBT5jPxHh7Iq1AV
         m1QNfsrWO1lJyk62oSMN64CYnUwfjOGCEpP0JcAZ2ga76UOrV266WJEknM3ZwesqMirK
         Y41l1xktaI5qWs3WavTh4sNtA980r5evu0CB4=
MIME-Version: 1.0
Received: by 10.101.81.15 with SMTP id i15mr4153635anl.131.1255175364085; Sat, 
	10 Oct 2009 04:49:24 -0700 (PDT)
In-Reply-To: <200910061338.20954.jon@ffconsultancy.com>
References: <4ACB319A.1080608@wanadoo.fr>
	 <4d1b2df20910060519n920bccaud71c0d28f9ce5269@mail.gmail.com>
	 <200910061338.20954.jon@ffconsultancy.com>
Date: Sat, 10 Oct 2009 13:49:22 +0200
Message-ID: <527cf6bc0910100449s223e8c0co26683cb5b05f72f3@mail.gmail.com>
Subject: Re: [Caml-list] Constructors are not functions
From: blue storm <bluestorm.dylc@gmail.com>
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; constructors:01 ocaml:01 recursive:01 distinctions:01 constructors:01 storm:98 2009:98 wrote:01 caml-list:01 functions:01 functions:01 expression:02 expression:02 caml:02 blue:96 

On Tue, Oct 6, 2009 at 2:38 PM, Jon Harrop <jon@ffconsultancy.com> wrote:
> Can you not just say that Bar in an expression is a function (fun x -> Bar x)?

Ocaml has a "recursive definition of values" extension that make
syntaxic distinctions between constructors and functions even in an
expression context :
http://caml.inria.fr/pub/docs/manual-ocaml/manual021.html#toc70 .