From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oliver@first.in-berlin.de>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL 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 76F3EBBC6
	for <caml-list@yquem.inria.fr>; Tue, 31 Mar 2009 09:03:52 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnIDAApd0UnAbSoIgWdsb2JhbACWAAEBFiK1D4N6Bg
X-IronPort-AV: E=Sophos;i="4.38,451,1233529200"; 
   d="scan'208";a="37544809"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Mar 2009 09:03:52 +0200
X-Envelope-From: oliver@first.in-berlin.de
X-Envelope-To: <caml-list@yquem.inria.fr>
Received: from localhost (okapi.in-berlin.de [192.109.42.117])
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id n2V73oHn032562
	for <caml-list@yquem.inria.fr>; Tue, 31 Mar 2009 09:03:50 +0200
Received: from dslb-088-073-116-028.pools.arcor-ip.net
	(dslb-088-073-116-028.pools.arcor-ip.net [88.73.116.28]) by
	webmail.in-berlin.de (Horde Framework) with HTTP; Tue, 31 Mar 2009 09:03:50
	+0200
Message-ID: <20090331090350.179473tol3o7b786@webmail.in-berlin.de>
Date: Tue, 31 Mar 2009 09:03:50 +0200
From: "Oliver Bandel" <oliver@first.in-berlin.de>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] when OO is wrong
References: <495734.22599.qm@web54102.mail.re2.yahoo.com>
	<200903310435.49183.jon@ffconsultancy.com>
In-Reply-To: <200903310435.49183.jon@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset=ISO-8859-1;
	DelSp="Yes";
	format="flowed"
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
User-Agent: Internet Messaging Program (IMP) H3 (4.2)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
X-Spam: no; 0.00; bandel:01 in-berlin:01 haskell:01 notations:01 notation:01 lambda:01 lambda:01 2009:98 bigpond:98 wrote:01 oliver:01 oliver:01 caml-list:01 calculus:01 quoting:02 

Quoting "Jon Harrop" <jon@ffconsultancy.com>:

> On Monday 30 March 2009 23:38:45 Ed Keith wrote:
>> I do wish I had better tools for visualizing FP designs. I use
>> Nassi-Schneiderman diagram for procedural designs and UML of OO designs.
>
> That's an interesting idea. Someone must have worked on this?
[...]

In the book "Haskell: The Craft of Functional Programming"
at some pages are graphical notations, at least explanatory,
for some things.


A paper which you also might find interesting:

"To Dissect a Mockingbird:
A Graphical Notation for the Lambda Calculus with Animated Reduction"

   http://users.bigpond.net.au/d.keenan/Lambda/index.htm


Ciao,
    Oliver