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 
<br>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
<br>many processes.<br><br>If you add 1-6 and remote processes, you are back to erlang, so why bother?<br><br>It is difficult to extract the essence of one substance and inject it in<br>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>