ゼロ仕様。

To reduce security holes, such as buffer over-flow, Operating System must run on sufficient abstraction layer, for example, lisp or JavaScript or the kind of functional programming language.

But smalltalk and FireFox OS did not succeed while they are sufficient abstraction layers. And I want to discuss why they did not succeed.

smalltalk runs on Lisp interpreter and LOGOS graphical system. LOGOS is turtle system which succeeds PostScript, coordinate system. And both Lisp interpreter and turtle system cost much of memory and CPU time, because Lisp interpreter is high-order and turtle system must be translated into 2-dimensional array of graphical memory.

FireFox OS adds 2-dimentional array of graphical memory to web browser. 2-dimentional array of graphical memory runs faster than Canvas element, because of the same reason between 2-dimentional array and turtle system. FireFox OS also uses JavaScript to run. JavaScript is functional programming language and the dialect of Lisp. So JavaScript is high-order.

The children of C language run fast in stack machine because between C language and stack machine exist kind of isomorphism(they are friends). Almost all CPUs are stack machines except for few systems now although Lisp machine existed before long time.

And the users of computers including PCs and smart phones and tablets, want more speed and make a sacrifice of security.