Subject: Re: OT: geometrical algorithm design
From: (Rob Warnock)
Date: Fri, 15 Apr 2005 02:39:13 -0500
Newsgroups: comp.lang.lisp
Message-ID: <>
Paul Tarvydas  <> wrote:
| Adrian Kubala wrote:
| > Takuon Soho <> schrieb:
| >> For me, ultimate expression of that dream is to elucidate some sort of
| >> correspondence between geometrical shapes and abstract algorithm
| >> design and then have an environment which embodies it.
| > 
| > I think this is a pipe dream because the very things that make algorithm
| I'll be glad to disagree :-).  
| I and my colleagues have been doing this very thing for over a decade now. 
| We build embedded systems software by drawing "schematics" of the software
| and compiling the schematics to machine code (or VM code).
| We (the software community) took the wrong turn at Albuquerque.
| We need blueprints for software.  We need to be able to draw software.

Indeed. Google for the programming language "Prograph", developed
in the early 1980's at McGill University, IIRC, and continued at
Dalhousie University by Tomasz Pietrzykowski, Michael Levin, and
others. [Hmmm.... <>
indicates that work in that field is still going on at Dalhousie.]
It was an almost fully functional, graphical, dataflow language
which one programmed by "wiring" sources, sinks, databases, and
processing boxes together, very much like drawing a schematic.
Pictorius, Inc.  of Halifax, Nova Scotia <> sold
a commercial version for the Mac. [The <>
domain seems to be dead, but see <>.]
Tha abstract at <> has
additional description, wherein it is compared to Lisp & Prolog:

    ...[but] which overcomes some of the shortcomings of Lisp by
    replacing the usual textual representation of programs by
    pictures called "prographs".


Rob Warnock			<>
627 26th Avenue			<URL:>
San Mateo, CA 94403		(650)572-2607