I was actually referring to the people seeking correctness in software
development. Feel free to say you are not interested. And threats about
killer monkey squads do not apply here, get lost.
On 5 juin 2011 20:38, <gilbert.fernan...@orange.fr> wrote:
> On Sun, Jun 05, 2011 at 03:10:42PM +0200, Thomas de Grivel wrote:
>
>> [..] We should [..]
>
> Those two words are the exact spot where the problem really is.
>
> That "we".
>
> OpenBSD is worked upon by developers. They do it, the hard
> work so people like me, users, can benefit from good code,
> solid software, trusty operating system. They do it : they
> write the code. Debug it. Maintain it. Fix it.
>
> So, if any change of tools is done, it will be done by
> them, and them alone. Not me, nor anyone else.
>
> Thus, there is no "we". There is the developers on one side,
> and the users on the other. If developers do want the C
> langage to be replaced by something else, they will do it.
> Because they will get a benefit from it, and OpenBSD too.
> Until this happens, C will remain the langage used.
>
> If your idea can be, you will have to implement it.
>
> You (or someone that shares that same idea) will have
> to design a compiler that compiles a kernel and gives
> you a shell like OpenBSD does. It has to work as
> well as OpenBSD does, be able to do all the things
> it does, and show by the proof that the langage then
> used really makes working on it better.
>
> Make it work. Like scientists make experiments that are
> reproductible before saying to the other bald guys in
> white blouses : guys, it works. You can even try it and
> check the fact for yourselves, here's the recipe how to do
> it.
>
> We should not tell people that do the work how they should
> do it. Because they are the ones doing it, since years,
> and obviously, they're doing a pretty damn good job.
>
> If Theo ever hears you say "we should" in order to tell
> them how they should code _their_ operating system,
> I am afraid he will send his special monkey killing-squad
> and you will vanish from the face of this island.
>
> Beware of the monkeys. Especially those that not only
> eat the banana, but also its skin.
>
> --
> Guybrush
