[MLton] Re: Hurd on l4 / ConcurrentML

[Matthew Fluet]

Hi Guillaume,

[I'm following up on the MLton list, rather than my personal address.]

I'm one of the MLton developers, so I have been following your comments on 
the MLton mailing list.  I don't have much to add to what Stephen said.

You might look at the Microsoft Research Singularity project 
(http://research.microsoft.com/os/singularity/); they are doing OS design 
with strong language influences, and using a message-based communication 
between processes.


On Thu, 3 Aug 2006, Guillaume FORTAINE wrote:

> Hello Mr Fluet,
>
> I'm a French student in computing science and I'm interested in your 
> knowledge in ML Language. We plan to build a new OS design using the Alice 
> langage ( http://www.ps.uni-sb.de/alice/ 
> http://hurd.gnufans.org/bin/view/Hurd/NextHurd ).
>
> I have one question for you, please :
>
> How can we implement a concurrentML model based on asynchronous message 
> passing ?
>
> http://mlton.org/ConcurrentML
>
> Here are 2 guidelines :
>
> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2006/003031.html
>
> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2006/003035.html
>
> The mailing-list :
>
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
> Thank you for your answer,
>
>
> Best Regards,
>
>          Guillaume FORTAINE
>