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 OAA04878; Fri, 21 Feb 2003 14:08:45 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA04974 for caml-list@pauillac.inria.fr; Fri, 21 Feb 2003 14:08:44 +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 KAA29329 for ; Fri, 21 Feb 2003 10:04:35 +0100 (MET) Received: from lasmea.univ-bpclermont.fr (lasmea.univ-bpclermont.fr [193.54.50.15]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1L94YT26723 for ; Fri, 21 Feb 2003 10:04:35 +0100 (MET) Received: (from root@localhost) by lasmea.univ-bpclermont.fr (8.9.3 (PHNE_25183)/8.9.3) id KAA15704; Fri, 21 Feb 2003 10:04:19 +0100 (MET) Received: from lasmea.univ-bpclermont.fr ([193.54.50.250]) by lasmea.univ-bpclermont.fr (8.9.3 (PHNE_25183)/8.9.3) with ESMTP id KAA15694; Fri, 21 Feb 2003 10:04:16 +0100 (MET) Date: Fri, 21 Feb 2003 10:04:48 +0100 Subject: Re: [Caml-list] graphical notation/representation of functional programs? Content-Type: text/plain; delsp=yes; charset=ISO-8859-1; format=flowed Mime-Version: 1.0 (Apple Message framework v551) Cc: caml-list@inria.fr To: oliver@first.in-berlin.de (Oliver Bandel) From: =?ISO-8859-1?Q?Jocelyn_S=E9rot?= In-Reply-To: <20030220164049.GA762@first.in-berlin.de> Message-Id: <8726DA8D-457B-11D7-8129-0003934491C2@lasmea.univ-bpclermont.fr> Content-Transfer-Encoding: quoted-printable X-Mailer: Apple Mail (2.551) X-Virus-Scanned: by AMaViS+Sophos Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le jeudi, 20 f=E9v 2003, =E0 17:40 Europe/Paris, Oliver Bandel a =E9crit = : > 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)? > > Ciao, > Oliver Here are two papers i am aware of (sorry, i don't have the urls at hand =20= now, but a search on the web should give them to you) : * J.ohn Reekie. "Visual Haskell : a first attempt", TR 94.5, U. =20 Sydney,, 1994. * Joel Kelso. "A Visual representation for functional programs", TR =20 CS95-01, CS Dept, Murdoch Univ, 1995. You can also have a look at Reekie's subsequent work on dataflow signal =20= procesing (including his phd thesis) @phdthesis{ reekie95realtime, author =3D "H. J. Reekie", title =3D "{Realtime Signal Processing: Dataflow, Visual and =20 Functional Programming}", address =3D "University of Technology at Sydney, Australia", year =3D "1995", url =3D "citeseer.nj.nec.com/article/reekie95realtime.html" } or on the work * of Launchburry on Hawk (www.cse.ori.edu/PacSoft/projects/Hawk) * at Chalmers on Lava (http://www.math.chalmers.se/~koen/Lava), * O'Donnell on Hydra (http://www.dcs.gla.ac.uk/~jtod/Hydra/) The laters all use FP to describe hardware systems. Finally, you could also have a look at * Camlflow =20 (http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/=20 camlflow.html) a system i developed to describe data-flow graphs as caml programs. HTH, Jocelyn -- E-mail: Jocelyn.Serot@l_a_s_m_e_a.u_n_i_v-bpclermont.fr S-mail: LASMEA - UMR 6602 CNRS, Universite Blaise Pascal, 63177 Aubiere =20= cedex Tel: +33.(0)4.73.40.73.30 - Fax: +33.(0)4.73.40.72.62 http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/Welcome.html Valid e-mail: remove underscores (sorry, this is prevention against =20 junk mail) ------------------- 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