Desert Spring-Time,
OCaml dili ile geliştirilen açık kodlu bir işletim sistemidir.
Projenin amacı BeOS gibi yenilikçi işletim sisteminde gündeme gelmiş modern fikirleri yeniden ele almak ve bunları ileri noktalara taşımak, böylece ortaya stabil ve güçlü bir işletim sistemi koymaktır.
Bu işletim sistemi mikro-çekirdek mimarisini ve asenkron mesajlaşmayı kullanmaktadır. İşletim sistemi şu anda x86 uyumlu işlemciler üzerinde çalışmaktadır.
Editörün Notu: OCaml ile geliştirilmiş popüler bir uygulama:
MLDonkey
Q:Do you have any predictions as to the future of C?
A:Dennis Ritchie: C is declining somewhat in usage compared to C++, and maybe Java, but perhaps even more compared to higher-level scripting languages. It's still fairly strong for the basic system-type things.
Q:What's your opinion on microkernels vs. monolithic?
A:Dennis Ritchie: They're not all that different when you actually use them. `Micro´ kernels tend to be pretty large these days, and `monolithic´ with loadable device drivers are taking up more of the advantages claimed for microkernels.