From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0AFDEBB88 for ; Tue, 19 Jul 2005 18:53:33 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6JGrWbG011461 for ; Tue, 19 Jul 2005 18:53:32 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA17454 for ; Tue, 19 Jul 2005 18:53:31 +0200 (MET DST) Received: from wetware.wetware.com (wetware.wetware.com [209.218.58.1]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6JGrUbH011455 for ; Tue, 19 Jul 2005 18:53:31 +0200 Received: from [69.12.155.90] (helo=[10.0.1.6]) by wetware.wetware.com with esmtp (Exim 4.43) id 1DuvLW-0001F3-3T for caml-list@inria.fr; Tue, 19 Jul 2005 09:53:30 -0700 Mime-Version: 1.0 (Apple Message framework v622) In-Reply-To: <42DCC95F.6050303@cs.utah.edu> References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <006801c58ba4$0b7bfe60$322cf8c1@oemcomputer> <42DBCA16.3000002@barettadeit.com> <18c83100e1769d1005e6f423c6003566@wetware.com> <42DCC95F.6050303@cs.utah.edu> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: james woodyatt Subject: Re: [Caml-list] (Mostly) Functional Design? Date: Tue, 19 Jul 2005 09:53:30 -0700 To: Ocaml Trade X-Mailer: Apple Mail (2.622) X-Miltered: at concorde with ID 42DD300C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42DD300A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; woodyatt:01 jhw:01 wetware:01 caml-list:01 morelli:01 monads:01 programmer's:01 monads:01 ocaml:01 woodyatt:01 jhw:01 wetware:01 2005,:98 ...:98 wrote:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On 19 Jul 2005, at 02:35, Robert Morelli wrote: > However, my purpose was to explain monads in > a way that I think is completely intuitive, simple, and sensible from > an ordinary programmer's point of view. I abandoned the paper several > years ago, but perhaps it's worth completing it. Yes, well... I would count that as a point in favor of your argument that the community "is also inept at practical documentation and advocacy." I think a really good introduction to monads for the practitioner, as distinct from the mathematician, would be a sign of growing aptitude for practical documentation and advocacy. They're kinda hard to use in Ocaml, which my preferred functional language, so I don't think it would be a good idea for me to try to write such a thing. It would be nice if somebody did. -- j h woodyatt markets are only free to the people who own them.