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=1.4 required=5.0 tests=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 4FC20BC69 for ; Sun, 23 Sep 2007 11:36:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJvQ9UbAXQImh2dsb2JhbACOGgkKJw X-IronPort-AV: E=Sophos;i="4.20,288,1186351200"; d="scan'208";a="1607129" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Sep 2007 11:37:59 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8N9awhJ022301 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 23 Sep 2007 11:36:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANbQ9UbRVYC8mGdsb2JhbACOGgIHBAYPFg X-IronPort-AV: E=Sophos;i="4.20,288,1186351200"; d="scan'208";a="3114652" Received: from fk-out-0910.google.com ([209.85.128.188]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Sep 2007 11:37:59 +0200 Received: by fk-out-0910.google.com with SMTP id z22so1447629fkz for ; Sun, 23 Sep 2007 02:37:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; bh=hZ8WaS6uoThV9te/lNECOkDF7+AUnfmBwcmorH/+YsM=; b=C//U97OpxpFAEkyKpzC4ozB8PUCxepiVuDFkWCn4nnEPXH4MwANmqSwDvqjkGSyQp1qwkeqRR4Fi6vxqwzPAry7YnsxNpPYSa/e3F517LbGzoINkufVzqHmphzuAU5u4gETwGg/6jxR8DeKobpnA1Fy1D6Xb8x4nb8xqDx7izqo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=JOFuG3lDzi+lz/pXZ06Jlhm8U7UgwO8CVBKtc2yxuzAyWorYBCzYnnwBRBbyzTy07jtEjCqOz/NAOA9+ZNm4dHNBK2DpMkFU/OA9Za30PzzFc4Llunx5wE1xhDZkxpLvOKkufHzaI++pjBhAZV+GvgeXXLDA9rm2H3ohIq7Il54= Received: by 10.86.100.7 with SMTP id x7mr3731550fgb.1190540277973; Sun, 23 Sep 2007 02:37:57 -0700 (PDT) Received: from ?192.168.0.12? ( [82.235.58.110]) by mx.google.com with ESMTPS id b17sm7005457fka.2007.09.23.02.37.54 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sun, 23 Sep 2007 02:37:55 -0700 (PDT) Subject: Re: [Caml-list] Stupid question re:modules From: David Teller To: Vincent Aravantinos Cc: Brian Hurt , caml-list In-Reply-To: References: Content-Type: text/plain Date: Sun, 23 Sep 2007 11:37:52 +0200 Message-Id: <1190540272.5972.25.camel@localhost> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at discorde with ID 46F633BA.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ens-lyon:01 cheers:01 0200,:01 mixin:01 ocaml:01 hirschowitz:01 imho:01 wrote:01 caml-list:01 modules:02 modules:02 btw:03 inheritance:03 inheritance:03 fri:05 Ask Tom Hirschowitz. I'm not sure it's still his research interest, unfortunately. Cheers, David On Fri, 2007-08-24 at 12:16 +0200, Vincent Aravantinos wrote: > BTW, I thought there was some kind of research about inheritance and > modules (heard about "mixin modules"), is there any plan to implement > this one day in ocaml ? > > The lack of real inheritance with modules is a major restriction IMHO...