A plan for implementing TUNES

-- 
Michael FIG <michael@fig.org> /\//\
   http://fig.org/michael/    \//\/

To: tunes@tunes.org
Subject: A plan for implementing TUNES
From: Michael FIG <michael@babe.fig.org>
Date: Thu, 03 Aug 2006 09:35:36 -0600
Message-ID: <7qzmelygqf.fsf@babe.fig.org>
X-Draft-From: ("misc" 398)
--text follows this line--
Hi,

I am a professional project manager and cybernetician. I have been
studying TUNES (http://www.tunes.org/) for several years, and have
come up with a project plan to accomplish it.  I am running it past
you to see what you think, but honestly, I will work on it whether you
want to cooperate or not, as is my freedom with free software.
However, I would be happier if you joined me. :)

My home page (in my signature) fully explains my history and
intentions, which you can explore at your leisure.

I propose a layered architecture:

6. Category Theory
5. Specification Language
4. Dynamic Compiler
3. Runtime Environment
2. Computational Model
1. Virtual Machine
0. Hardware

Here are the URLs of the best-of-breed free software I have chosen to
fulfill these requirements.

6. Arrow - http://tunes.org/~water/arrow/
5. Epigram - http://e-pig.org/
4. Pliant - http://fullpliant.org/
3. Figure - http://fig.org/figure/figure.txt (also see The Circle of
   the Promises http://fig.org/figure/CircleOfPromises.pdf.)
2. An amalgamation of the Mozart (http://www.mozart-oz.org/), E
   (http://erights.org/), and Erlang (http://erlang.org/) models
1. Factor - http://factorcode.org/
0. Optical computers - http://en.wikipedia.org/wiki/Optical_computer

None of these systems is yet complete:

6. Arrow's design has not yet been formalized.

5. Epigram is not yet a compiled language.

4. Pliant is a dynamic compiler. I did some work to extend its model
to static compilation, and that work could easily be readopted to
produce binaries for any kind of programming language.

3. Figure has yet to be prototyped in Haskell, Erlang, and several
other languages to prove its design and bring it to market.

2. The ultimate multithreaded, functional/logical/imperative, message
passing computational model is not complete. The Mozart, Erlang, and
E communities need to rally their efforts and set their language
differences aside for this to happen.

1. Factor lacks preemptive multithreading, but is otherwise nearly
ready to host any arbitrary language. It completely replaces the need
for assembler, C, or C++ to do low-level implementation, and
interfaces well with C libraries.

0. Optical computers don't yet exist.

Please don't hesitate to contact me. My home page has contact
information.


--
Michael FIG <michael@fig.org> /\//\
   http://fig.org/michael/    \//\/