Pliant talk forum

Pliant talk forum

Discussion: A plan for TUNES

Using Pliant to implement the ultimate operating system.
Message posted by maybe Michael FIG on 2006/08/03 18:56:01
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. Application
5. Programming 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. Any application
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.)
2. An amalgamation of the Mozart (http://mozart-oz.org/), E
   (http://e-rights.org/), and Erlang (http://erlang.org/) models
1. Factor - http://factorcode.org/
0. Any hardware

None of these systems is yet complete:

5. Epigram's design has not been finalized.

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 will be prototyped in Haskell, Erlang, and several other
languages to prove its design and bring it to market.  It is truly a
general-purpose substrate for any kind of application software to use,
and will be embeddable in any host operating system, rather than
requiring special hardware support to be secure or efficient.  The
figure.txt document also describes the copyleft license I intend to
use for it (which is a proper superset of the GPL and BSD licenses).

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 (a Forth/Joy/Slate/Smalltalk derivative) 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.

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

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

Message posted by maybe Michael FIG on 2006/08/03 20:37:20
Please reply only to the (second try) thread, not this one.