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_ABUSE, 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B2839BBC4 for ; Tue, 31 Mar 2009 14:21:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsCAAOo0UnOviX1mWdsb2JhbACNGYhpAQEBAQEICwoHEaYVgQePIQEEAgGDdwY X-IronPort-AV: E=Sophos;i="4.38,452,1233529200"; d="scan'208";a="37568058" Received: from web54110.mail.re2.yahoo.com ([206.190.37.245]) by mail4-smtp-sop.national.inria.fr with SMTP; 31 Mar 2009 14:21:18 +0200 Received: (qmail 54536 invoked by uid 60001); 31 Mar 2009 12:21:16 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1238502076; bh=2Y+ptl+qo+e6RtGMhDSK9S5SHTllb81GA4LiDEqI0qY=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=pVjl52nzhXfXwfa+6Y/IJcwFbJNNfNNB5aEFUmoy025zM9aTWB29sX01HBQCTVBLEVB11dmH/PQBBOb1JsYBplw+oVntdqosH3kFDFstEg6mqr+KYx0tWZDhsTX5fEJaj5gtMr2djRkbHb/1E4o2pZZUaC6Z2RhWbKEKZjYva5M= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Sv7DiojC0Xx4dGnG5DS4pWqerB7afi9GAR5xNX92RwAIlSxB7ly0kYshMcFqWtLX+E/vWZseHtltNkMd7orATWFKStyh7Yd14PosWhEAoIxP34hPtOItsRPvj5Q/9cMlJ6Z/qs8Sqz32GTi/BkRaaO0kI2RYm7Ofj+nt7TRLuNM=; Message-ID: <667690.54509.qm@web54110.mail.re2.yahoo.com> X-YMail-OSG: tXzwdEAVM1kKsHiAcDc9Nk7Jx0QXVIaf3xr15OFfGXkf3SLjGKurNAtROXOTRTd3v7xbPlMraGyAM1m2btbuMq51iTIHeczTyHMrQkVVpYRAEw9JCUQ44_unIoAnC1cz8CvY3AyRYIR3UoEEcGVj33zxzl4GDAsMwWg6_FLolkuoPdM8FWztqRpi57nwMg4m2UdUejiyXN3waJKkm.VKynQa5hamr_lUM_T06T_ScMkqCiSRk6xlcJGphGC6XYu0Z1iuCN2HIwxN8OGYpOxbkZHBe60jc4qN_z4HTFFT9mXYN3Obr2gNxTJDHcZrWWgCA6oZsgOfWbmRYpy.ECC5Q0oCoiwp.ZHPsH8gBUfkRhnQ Received: from [129.44.188.101] by web54110.mail.re2.yahoo.com via HTTP; Tue, 31 Mar 2009 05:21:16 PDT X-Mailer: YahooMailWebService/0.7.289.1 Date: Tue, 31 Mar 2009 05:21:16 -0700 (PDT) From: Ed Keith Subject: Re: [Caml-list] when OO is wrong To: caml-list@yquem.inria.fr, Oliver Bandel MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; bandel:01 in-berlin:01 notation:01 lambda:01 lambda:01 notation:01 2009:98 bigpond:98 blog:98 wrote:01 wrote:01 oliver:01 oliver:01 caml-list:01 calculus:01 --- On Tue, 3/31/09, Oliver Bandel wrote:=0A> Q= uoting "Jon Harrop" :=0A=0A> > On Monday 30 March 20= 09 23:38:45 Ed Keith wrote:=0A> >> I do wish I had better tools for visuali= zing FP designs. I use=0A> >> Nassi-Schneiderman diagram for procedural des= igns and UML of OO designs.=0A> > =0A> > That's an interesting idea. Someon= e must have worked on this?=0A[...]=0A=0A=0A> A paper which you also might = find interesting:=0A>=0A> "To Dissect a Mockingbird:=0A> A Graphical Notati= on for the Lambda Calculus with Animated Reduction"=0A> =0A>=A0 http://user= s.bigpond.net.au/d.keenan/Lambda/index.htm=0A=0AThe notation is very useful= for teaching, but I can not imagine using it to design a complex system.= =0A=0A -EdK=0A=0AEd Keith=0Ae_d_k@yahoo.com=0A=0ABlog: edkeith.blogspot.c= om=0A=0A=0A=0A=0A