[Caml-list] Non-blocking IO interface design

Hello, This is problematic : https://github.com/williamleferrand/xmlm http://ambassadortothecomputers.blogspot.com/2010/08/mixing-monadic-and-direct-style-code.html To solve this problem I'm looking for a simple interface design to make my IO modules compatible with monadic concurrency

[Caml-list] Timing module initializations (working but crashy)

Hi, A few months ago I think I saw some module initializations in lablgtk2 take a lot of time. By module initializations, I mean the evaluation of toplevel expressions from source files at application startup. I found out about ld's --wrap option which can wrap a symbol. I then wrap all the

Re: [Caml-list] Articles on using types for enhancing sw-quality?

- Chung-chieh Shan and Oleg's Lightweight Static Capabilities presents several examples of phantom types and a general design method to use them to enhance program safety:   http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf I attempted to read this one out of curiosity, and it