From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBN8Uiat000868 for ; Fri, 23 Dec 2011 09:30:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au0CAAg79E7ZRrfEmWdsb2JhbABEhQ+VSIYlgTiJfyIBAQEBAQgLCwcUJYE6Hg0BNgQRQDYCBRYLAgsDAgECAT8ZCAEBhUQBAYIyl0qOApFOgS+HRoIEgRYEiDGMUIVPhnWFcQ X-IronPort-AV: E=Sophos;i="4.71,398,1320620400"; d="scan'208";a="124419820" Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Dec 2011 09:30:39 +0100 X-Originating-IP: 217.70.178.139 Received: from mfilter10-d.gandi.net (mfilter10-d.gandi.net [217.70.178.139]) by relay4-d.mail.gandi.net (Postfix) with ESMTP id 1DF2717209E for ; Fri, 23 Dec 2011 09:30:39 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter10-d.gandi.net Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mfilter10-d.gandi.net (mfilter10-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id EvaioWvH19Uo for ; Fri, 23 Dec 2011 09:30:37 +0100 (CET) X-Originating-IP: 41.190.237.66 Received: from [192.168.0.111] (unknown [41.190.237.66]) (Authenticated sender: out@rktmb.org) by relay4-d.mail.gandi.net (Postfix) with ESMTPSA id 4FF20172089 for ; Fri, 23 Dec 2011 09:30:37 +0100 (CET) Message-ID: <4EF43C29.9090409@rktmb.org> Date: Fri, 23 Dec 2011 11:30:33 +0300 From: Mihamina Rakotomandimby User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111124 Thunderbird/8.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] polymorphism in general Hello, I have a question about polymorphism in general. Let's take this example: val polymorph1 : 'a * 'b -> string = Is it polymorph? I have a doubt because the result is always a "string", not something related to either "'a" or "'b". So another way to ask the question: is polymorphism only qualified by the parameter? Thank you for your help. -- RMA.