Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Jane Street is hiring (as if you didn't already know)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-08-18 (15:48)
From: David MENTRE <dmentre@l...>
Subject: Re: OCaml and kernels (was: Re: [Caml-list] Jane Street is hiring)

2009/8/18 Richard Jones <>:
> It's relatively low-level when you need it to be, and it wouldn't be
> too much work to separate out the runtime and reimplement it on top of
> baremetal.

I've done part of this in the past (KOS is not bare metal but a kernel

>  It would also be interesting to see if the supposed
> massive overheads of garbage collection are in reality better than
> bloating every structure with an additional reference count field.

I share the same feeling.

There were experiments of implementing kernel functionalities like TCP
stack in ML-like languages, e.g. "A Structured TCP in Standard ML
(1994)" (
or "A Network Protocol Stack in Standard ML"