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
[Caml-list] mixin modules paper and future?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-08-27 (03:35)
From: Chris Hecker <checker@d...>
Subject: [Caml-list] mixin modules paper and future?

While looking around Xavier's site, I came across this new paper (at least, 
new since last time I looked):

Mixin modules in a call-by-value setting, with Tom Hirschowitz.
Proceedings of ESOP 2002, LNCS 2305.

The results in the paper look really exciting to my untrained eye, and I 
had a few questions...

1.  First, the annoying obvious question:  Any wild guesses when this work 
will find its way into caml?  I read the whole paper, but had to skim the 
lambda calc sections since my lambda-fu is not strong.  It's clear there 
are a number of open problems, so it's obviously not imminent in the next 
release, but it sure is cool (the way it unifies functors and recursion is 

2.  The paper has a few places where it mentions work that has to be done 
at init time, which sounded like runtime at the point where the minix sum 
was computed.  Is this true?  For the very simple case of "I want to 
recurse between two compilation units like C++", is there still overhead 
that must happen at runtime and that can't be done at compile time?

3.  The following is from the paper:

>A drawback of dependency graphs is that programmers must (in principle)
>provide them explicitly when declaring a mixin signature, e.g. for a deferred
>sub-mixin component. This could make programs quite verbose.

I may have missed it, but I didn't see where this explicit graph thing came 
in, since none of the examples had it.  I assume you don't mean the type 
declaration of the deferred values, right?  Is there some other 
specification that's necessary?


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: