Typing messages on this list

[Francois-Rene Rideau]

Dear all,

I thought the topic of typing had been bitten to death on this list,
but realized I might have refrained from sending the post I was
preparing on typing. My bad.

As for me, I'm sorry I haven't got in my "WhyNewOS" article as far as
explaining how the ability to express arbitrary contracts was what would
allow no-kernel design to be far superior to kernel-based designed.
A typesystem is but a language for expressing contracts;
but is it universal enough to express all the contracts we want?

Anyway, inasmuch as this discussion is about reviewing known techniques,
it ought to be done on Cliki.Tunes.Org instead of this mailing-list.
	http://cliki.tunes.org/
If not specific to Tunes, I suppose the discussion could happen on such
place as the ll1-discuss mailing-list.

Now, if you want to discuss designs specifically fit
for bootstrapping Tunes, or meta-level architectures for typing,
or actual code you're writing with the intent of integrating it to Tunes
someday, THEN, the discussion is welcome on this list.

Sorry for the inconvenience.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
There are only 10 types of people in the world:
Those who understand binary, and those who don't.