English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Yet another sudoku solver (838 bytes)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-19 (20:19)
From: Oliver Bandel <oliver@f...>
Subject: Re: Yet another OCaml Webserver?! (was: Re: [Caml-list] Yet another sudoku solver (838 bytes))
Hello Jonathan,

On Sun, Nov 20, 2005 at 09:09:29AM +1300, Jonathan Roewen wrote:
> > Where are other interesting applications, which can show people
> > the power of this language - especially safety/security of an application?
> This is a major goal of Desert Spring-Time.

Well, this is one single project, but it's a good attempt. :)

> Whilst using bytecode, it

Why using bytecode?

> will probably not be very performant (ocamljit will help a small
> amount here I think) compared to say a native code version.
> However, the goals are: reliability, safety, and not so important:
> portability.

If portability is not so important (for now?!),
why not using native code?

> I think processors are more than fast enough these days
> to accomodate a slower running kernel environment

Well, the kernel is very important... if it is slow,
so the whole system is slower... this is different
to a fast kernel/operating system, where only one
application is a littlebis slower.

But: if the kernel is less used and the main time the
program is in usermode (not kernel mode), then the
speed of the kernel is not sooooo much a big problem.
But the kernel is the part of the system, which is
central... so IMHO it should be very fast!

> .. in fact, the
> mpeg2 decoder project should help prove/disprove this theory.

well... IMHO graphic card drivers is not ideally done
in OCaml, and not in C... at least certain parts would
necessaryly be coded in Assembler...

...but if you can show the opposite, that's fine. ;-)