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.0 required=5.0 tests=AWL,SPF_FAIL 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 C47A4BB84 for ; Thu, 15 Jan 2009 22:08:19 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqICAPc0b0lQW+UCe2dsb2JhbACUAQEBFiIEulWFcYF1 X-IronPort-AV: E=Sophos;i="4.37,272,1231110000"; d="scan'208";a="19672825" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Jan 2009 22:08:19 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1LNZRm-000235-VT for caml-list@inria.fr; Thu, 15 Jan 2009 21:08:14 +0000 Received: from 76-10-156-99.dsl.teksavvy.com ([76.10.156.99]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 15 Jan 2009 21:08:14 +0000 Received: from monnier by 76-10-156-99.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 15 Jan 2009 21:08:14 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Stefan Monnier Subject: Re: What is a future of ocaml? Date: Thu, 15 Jan 2009 16:08:06 -0500 Message-ID: References: <1231924711.2711.11.camel@serphost.localdomain> <496DEC48.7000906@wp.pl> <001801c9765e$4fabc3b0$ef034b10$@com> <20090115.211335.27794984.garrigue@math.nagoya-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 76-10-156-99.dsl.teksavvy.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) Cancel-Lock: sha1:H8KJB1gKnFmlrzQSV3zC0l2QjtA= Sender: news X-Spam: no; 0.00; ocaml:01 functors:01 trivial:01 modular:01 variants:01 derek:98 polymorphic:01 modules:02 objects:02 classes:08 classes:08 argue:08 i'm:09 actually:10 question:13 > I'm afraid the combination of type classes with modules and functors > is not trivial either. Actually, in "Modular Type Classes", Derek Dreyer et al. argue fairly convincingly that they can be combined in a natural way. Of course, there's still the question of whether it all works out when you add objects, polymorphic variants, ... Stefan