From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA14031; Thu, 20 Feb 2003 21:12:26 +0100 (MET) 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 VAA14050 for ; Thu, 20 Feb 2003 21:12:24 +0100 (MET) Received: from nebulus.tfb.com ([204.212.132.16]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1KKCNT25564 for ; Thu, 20 Feb 2003 21:12:23 +0100 (MET) Received: from tfb.com (host-66-81-19-17.rev.o1.com [66.81.19.17]) by nebulus.tfb.com (8.9.3/8.11.3) with ESMTP id MAA25319; Thu, 20 Feb 2003 12:12:14 -0800 X-Authentication-Warning: nebulus.tfb.com: Host host-66-81-19-17.rev.o1.com [66.81.19.17] claimed to be tfb.com Message-ID: <3E553696.732B8541@tfb.com> Date: Thu, 20 Feb 2003 12:12:06 -0800 From: Ken Rose Reply-To: rose@acm.org X-Mailer: Mozilla 4.76 [en] (X11; U; Linux 2.4.2-2 i686) X-Accept-Language: en MIME-Version: 1.0 To: Oliver Bandel CC: caml-list@inria.fr Subject: Re: [Caml-list] graphical notation/representation of functional programs? References: <20030220164049.GA762@first.in-berlin.de> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Oliver Bandel wrote: > > Hello, > > when using graphical representations like in > "The Craft of Functional Programming", so that > a function is a box with in- and output, then > it's a convenient way of looking at functional > programs. > > Is that technique of overview more elaborated > used by other people? > > Shouldn't it possible to have a graphical notation > for FP, like a functional aequivalent of the notation, > that is used in the OO-programmers world, where > classes and methods and attributes and so on > are presentated in a graphical manner? > > Are there papers on that topic? > Or is functional programming in higher spheres > done comepletely an algebraic form 8lambda calculus)? I don't know of anything formal, but the dataflow diagrams used in some structured analysis methods feel pretty functional to me. See, for example "Modern Structured Analysis" Edward Yourdon, 1989. - ken ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners