Re: [MirageOS-devel] thought on a new API for mirage

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 27 Dec 2013, at 12:14, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

> Hi,
> 
> During the last days, I've been working on a new version of the mirage API 
> which should be easier to extend and where defining new operators would be 
> easier. I'm starting to be happy with the result, which is available here:
> 
> https://github.com/mirage/mirage/pull/178
> 
> The branch is not ready to merge yet, but I've published it anyway to get 
> early feedback, so feel free to shout if you dislike it or have better ideas.
> 
> The new API: https://github.com/samoht/mirage/blob/combinators/lib/mirage.mli
> 
> Some examples:
> * https://github.com/samoht/mirage/blob/combinators/lib_test/fat/config.ml
> * https://github.com/samoht/mirage/blob/combinators/lib_test/http/config.ml
> * some combinator examples: 
> https://github.com/samoht/mirage/blob/combinators/lib_test/combinator/config.ml

At a quick run-through, this looks like exactly what we need to layer 
interesting transformer drivers together.  I'll take a shot at a buffer cache 
for KV_RO using your branch and see what it looks like (do you already have 
code for this somewhere, Dave?)

> Some of you might have noticed some similarity with the great ctype library 
> -- it's not a coincidence at all: the goal here is to meta-program at the 
> modules/functors level, which is not very far from trying to interface with a 
> foreign language ...

Indeed!

-anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel