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] OCaml popularity
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-03-15 (10:58)
From: Markus Mottl <markus@o...>
Subject: Re: [Caml-list] Re: Haskell-like syntax
On Sat, 15 Mar 2003, Max Kirillov wrote:
> Just imagine -- it the third millenium, compiling the "best language",
> we need carefully order the .cmo files. Doing this also would push the
> "mutually recursive modules" problem.

Things are not this easy: the order is actually required for linking,
not for compiling (as long as you provide explicit signatures in
.mli-files).  The order during linking determines in which order side
effects will be caused when values are initialized, which only the user
can know. Furthermore, the "mutually recursive modules"-problem is more
of a typing problem than one of compilation.

Markus Mottl

Markus Mottl                                   
Austrian Research Institute
for Artificial Intelligence        

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