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

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

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

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 ...

--
Thomas





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