equal
deleted
inserted
replaced
91 |
91 |
92 * GNU bash as uniform shell on all platforms. The POSIX "standard" |
92 * GNU bash as uniform shell on all platforms. The POSIX "standard" |
93 shell /bin/sh is *not* appropriate, because there are too many |
93 shell /bin/sh is *not* appropriate, because there are too many |
94 non-standard implementations of it. |
94 non-standard implementations of it. |
95 |
95 |
96 * Perl as largely portable system programming language. In some |
96 * Perl as largely portable system programming language, with its |
97 situations Python may serve as an alternative, but it usually |
97 fairly robust support for processes, signals, sockets etc. |
98 performs not as well in addressing various delicate details of |
|
99 operating system concepts (processes, signals, sockets etc.). |
|
100 |
98 |
101 * Scala with Java 1.7. Isabelle/Scala irons out many oddities and |
99 * Scala with Java 1.7. Isabelle/Scala irons out many oddities and |
102 portability issues of the Java platform. |
100 portability issues of the Java platform. |
103 |
101 |
104 |
102 |