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.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 07851BBC4 for ; Wed, 4 Mar 2009 02:22:00 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAABnrUmArgVgkWdsb2JhbACMaYgeAQEBAQkLCgcRBMFFB4QBBg X-IronPort-AV: E=Sophos;i="4.38,297,1233529200"; d="scan'208";a="23819485" Received: from expredir5.cites.uiuc.edu ([128.174.5.96]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Mar 2009 02:21:56 +0100 Received: from axyr (aryx.cs.uiuc.edu [128.174.236.106]) by expredir5.cites.uiuc.edu (8.14.2/8.14.2) with ESMTP id n241LqJQ001272; Tue, 3 Mar 2009 19:21:52 -0600 (CST) To: Raoul Duke Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] stl? References: <91a2ba3e0903031340wcdc976cp52522eb35f7ccb73@mail.gmail.com> <87zlg2z19g.fsf@aryx.cs.uiuc.edu> <200903032336.53089.jon@ffconsultancy.com> <87vdqqyugc.fsf@aryx.cs.uiuc.edu> <91a2ba3e0903031710t140bc407n217aa388cc4195c8@mail.gmail.com> From: Yoann Padioleau Date: Tue, 03 Mar 2009 19:21:41 -0600 In-Reply-To: <91a2ba3e0903031710t140bc407n217aa388cc4195c8@mail.gmail.com> (Raoul Duke's message of "Tue\, 3 Mar 2009 17\:10\:02 -0800") Message-ID: <87myc2ytei.fsf@aryx.cs.uiuc.edu> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam: no; 0.00; stl:01 monads:01 haskell:01 beginner's:01 ocaml:01 bug:01 beginners:01 caml-list:01 caml-list:01 writes:01 bin:01 modules:02 caml:02 caml:02 archives:02 Raoul Duke writes: >> modules. That's really really really intrusive. It's exactly why >> monads in haskell are mostly a bad idea. They are too intrusive. If in > > what are the current best language/research/advanced/alternative > solutions for this issue? I would say type-classes or objects. Less intrusive. > > thanks. > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs