Joe's thesis talks about what problems should be solved in programming language , what should be in libraries, but doesn't discuss what <br>maybe presented in OS.(I haven't finished reading, so maybe I'm wrong)<br><br>But in erlang book page 125, he did discuss some special type of operating system structure ( the switch server and 

telephony application processes)(sadly,  no second part ). I mean not just about processes' quantity, but about os processes involved in building robust  application, for example  Fully isolated processes which are linked and signal failure as you point out.

<br><br>I think your 4 and 5 are special for erlang as a programming language, other  items in your list are not so much programming language features. <br><br>BR!<br>James<br><br><br><div><span class="gmail_quote">2006/8/29, Jay Nelson <

<a href="mailto:jay@duomark.com">jay@duomark.com</a>>:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">The strength of erlang is not just that you can make lots of little

<br>processes.  It is the combination of this with the following things:<br><br>1) Fully isolated processes which are linked and signal failure<br>2) Failure is a fundamental assumption at all times<br>3) A simplified message passing scheme

<br>4) Non-mutable "variables"<br>5) Pattern-based functions (makes messaging much clearer and easier)<br>6) Hot code loading as a fundamental function of the language<br><br>Of course, all of the above work both on the same local CPU or on remote

<br>processors.<br><br>If you add processes to the OS without the means to code and manage<br>processes clearly, you will make a bigger mess out of the existing<br>programs because the languages are not inherently defined to support

many processes. If you add 1-6 and remote processes, you are back to erlang, so why bother? It is difficult to extract the essence of one substance and inject it in another substance with the goal of improving the deficient substance.

<br>You end up with an incomplete artificial substitute.<br><br>jay<br><br></blockquote></div><br>