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.3 required=5.0 tests=AWL 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 2D221BBC1 for ; Mon, 24 Mar 2008 23:17:57 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUCAHfF50dIDtyec2dsb2JhbACRFwEMAwQFCRSSWYQi X-IronPort-AV: E=Sophos;i="4.25,548,1199660400"; d="scan'208";a="24134903" Received: from fg-out-1718.google.com ([72.14.220.158]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Mar 2008 23:17:57 +0100 Received: by fg-out-1718.google.com with SMTP id l27so3025433fgb.43 for ; Mon, 24 Mar 2008 15:17:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; bh=KXSbqlbJrkoTgoX+8Uv1KJJd1V8MVm4o+0EmBDtPlME=; b=BFWdo5p1HbIvkqzpJef+sXdD1UfOahBiJb2wORbjHD3st+rEClSkqmClcT+Q7Ov0llOde030rDhobOK3PEPgVibBiwVyQfOFbUUt34mOjTDginOpQKi5gNOl4FvjldYw+BlqNGwVVKjjDBgSN99r1HuT39b/mgFvAF1Ht/Qjpa4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; b=gCW2wmJ5Np65L7muk7txtyL08cXgi81XuZV1NW201pHCw1RnNUcbDx/GrmWyw24RXYt3UE9/rLLwtrp52FdD0oaaHBkwYpCI21CC2eblZum+x++srW759rOmfawjV3vau9LTnIP1pFvCj28kK8lC5JVpSeNb0Zj3lqZLueIglf8= Received: by 10.82.186.19 with SMTP id j19mr18865638buf.2.1206397076468; Mon, 24 Mar 2008 15:17:56 -0700 (PDT) Received: from ?192.168.1.36? ( [85.2.120.160]) by mx.google.com with ESMTPS id o11sm12404191fkf.9.2008.03.24.15.17.55 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 24 Mar 2008 15:17:55 -0700 (PDT) Cc: caml-list@yquem.inria.fr Message-Id: <2B3C3F0A-50A2-4681-ADAD-DC2B437BA9D2@erratique.ch> From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: Dario Teixeira In-Reply-To: <535050.42465.qm@web54603.mail.re2.yahoo.com> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v919.2) Subject: Re: [Caml-list] Sources, sinks, and unbound parameter types Date: Mon, 24 Mar 2008 23:17:47 +0100 References: <535050.42465.qm@web54603.mail.re2.yahoo.com> X-Mailer: Apple Mail (2.919.2) Sender: =?ISO-8859-1?Q?Daniel=20B=FCnzli?= X-Spam: no; 0.00; bunzli:01 buenzli:01 existential:01 unbound:01 caml-list:01 caml-list:01 functions:01 caml:02 caml:02 parameter:02 seems:03 daniel:04 daniel:04 types:05 types:05 It seems what you want is existential types, see the example with lists of composable functions here [1,2]. Best, Daniel [1] http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/52732867110697f55650778d883ae5e9.fr.html [2] http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/470ee4e9fe63cf36e1bc477980b102e2.fr.html