Re: [Caml-list] OC4MC : OCaml for Multicore architectures

[Dario Teixeira <darioteixeira@yahoo.com>]

Hi,

Cheers for the work you guys put into this project!  And I'd like to join
the crowd that has questions, if I may:

a) If I understand correctly, part of prerequisites for implementing the
   new GC was cleaning up the excessive use of imperative constructs in
   the compiler's tree.  Will the new tree be also more amenable to the
   implementation of new language constructs such as GADTs?

b) Could you quantify the performance penalty (if any) of using the new GC
   in a single-thread context?  And should this penalty be significant, are
   there provisions for a compile-time choice of which GC to use?

c) Is there an understanding between you and the folks at INRIA concerning
   the eventual merging of this code into the mainline tree?

Thanks a lot for your time!
Best regards,
Dario Teixeira