Version française
Home     About     Download     Resources     Contact us    
Browse thread
Wanted: your feedback on the hierarchy of OCaml Batteries Included
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Till Varoquaux <till.varoquaux@g...>
Subject: Re: [Caml-list] Re: Wanted: your feedback on the hierarchy of OCaml Batteries Included
Whilst not really answering your question I'd like to point out mixin
modules [1]. This is a way to provide extensible modules, thus getting
you a lot of you'd want from a namespace system. I would guess these
would actually be harder to implement than namespaces; both seem to
require compiler support to feel not too hackish. I'm guessing
namespace support could be done in way that'd be fairly orthogonal to
the rest of the typing pass. Maintaining the patch would then be a
problem by itself....

If Batteries included or Core end up being big, coherent collections
of libraries maybe there will be more of incentive to add namespacing
in Ocaml.

Till

[1]  http://www.lama.univ-savoie.fr/~hirschowitz/phd/

2008/11/18 Yaron Minsky <yminsky@gmail.com>:
> Do you have a sense of how hard this would be to fix?  It would be lovely to
> have some reasonable namespace control without having to take chunks of the
> namespace as all-or-nothing pieces....
>
> y
>
> On Tue, Nov 18, 2008 at 9:10 AM, Alain Frisch <alain@frisch.fr> wrote:
>>
>> David Teller wrote:
>>>
>>> I thought the linker only linked in symbols which were actually used?
>>
>> No, it is not the case.
>>
>> The only automatic mechanism for code pruning is at the level of
>> individual modules embedded in a library. As soon as you pack, you obtain a
>> monolithic module which can only be linked as a whole.
>>
>> -- Alain
>>
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>