From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 26CB8BC69 for ; Fri, 5 Oct 2007 18:15:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFsABkfAXQInh2dsb2JhbACOOQIBCAop X-IronPort-AV: E=Sophos;i="4.21,236,1188770400"; d="scan'208";a="17344005" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2007 18:15:04 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l95GF4ua002880 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 5 Oct 2007 18:15:04 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOP/BUfZDAtgn2dsb2JhbACOOQIBAQcEBgkIGA X-IronPort-AV: E=Sophos;i="4.21,236,1188770400"; d="scan'208";a="3802710" Received: from smtp007.mail.ukl.yahoo.com ([217.12.11.96]) by mail3-smtp-sop.national.inria.fr with SMTP; 05 Oct 2007 18:15:03 +0200 Received: (qmail 8506 invoked from network); 5 Oct 2007 16:15:03 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:In-Reply-To:References:Mime-Version:Content-Type:Message-Id:Cc:Content-Transfer-Encoding:From:Subject:Date:To:X-Mailer; b=Sz2oUTN2CwxsK9pZxEN/jEmMFAWD1FjmBw+4ZurYP8WfH81+gGUzG52k84y95GZ+lzTUIKT5ablbB5ex7nFiAVdKAN6iVVW3QAjrkg/ybZO89z+JehAE0bT66Uw3XAXutjlhlc6dDNnEgN+vkIxGC+zlvZx1QMHPz+8HlbU/uYY= ; Received: from unknown (HELO ?192.168.0.10?) (vincent.aravantinos@82.229.199.66 with plain) by smtp007.mail.ukl.yahoo.com with SMTP; 5 Oct 2007 16:15:02 -0000 X-YMail-OSG: tanpEOsVM1lAFQnP29cna0qGsPzY8ZdGXVpdjI3j0rtxot4BOmWVAtEF0wb3faRXSbRBXZ9hBg-- In-Reply-To: References: <2EF33DCA-1E28-4F10-AEAB-F3258E976CA7@gmail.com> <4a051d930710050841t7de7dfa3qf695ee271b38bcb7@mail.gmail.com> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: Cc: OCaml Content-Transfer-Encoding: quoted-printable From: Vincent Aravantinos Subject: Re: [Caml-list] Depend-type beginner question Date: Fri, 5 Oct 2007 18:15:01 +0200 To: Ashish Agarwal X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 47066308.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; existential:01 compile:01 caml-list:01 seems:03 typed:04 distinguish:05 variable:06 ecrit:06 vincent:07 vincent:07 beginner:12 question:13 agarwal:13 between:13 type:14 Le 5 oct. 07 =E0 18:05, Ashish Agarwal a =E9crit : > > I can't get how the following could ever be typed at compile time: > > > > > if ... then [] else [a] > > > > Is this a 0-list or a 1-list ? do they just put an existential > > variable -> n-list ? If this is it, it seems to me that you won't be > > able to gain much information. > > The type system is not rich enough to distinguish between 0-lists' =20 > and 1-list's. It is just a list. So what is the gain ?