Re: [Ocaml-lib-devel] properties of symbols

[Henri DF <hen...@ep...>]

thanks for the pointer. i (naively) thought that anything which "takes 
away 
polymorphism" could only improve efficiency, and that this would extend to 
functors. 

[OT] i wonder when there is ever a case for functors then..

henri



> > > It looks interesting, although I didn't need theses before.
> > > Some comments :
> > > - polymorphic is better than functors (more usable and better perfs as
> > > Martin said)
> >
> > polymorphic code better performing than functors? sounds odd...
> >
> > henri
> 
> I don't think there is optimisations made from the type-specialization of
> functors. More than that, each functor application is creating an additional
> indirection.
> You can have a look at this thread for more informations :
> 
> http://caml.inria.fr/archives/200307/msg00244.html
> 
> Regards,
> Nicolas Cannasse
> 
>