<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/472b2ee3456de1732c8ab79ad90e48ff"
  from="Thorsten Ohl &lt;ohl@p...&gt;"
  author="Thorsten Ohl"
  date="2002-07-26T21:32:44"
  subject="[Caml-list] Functors, Modules and Indirections"
  prev="2002/07/31df5f956e055f23defa7f42b31cd382"
  next="2002/07/4fb5634146c4fa8ce8fff32c7d761886"
  prev-in-thread="2002/07/c2036a4fb83c16cbfab4d7aa32ec04ed"
  prev-thread="2002/07/8bae1873738de0a0761c052e27155d5e"
  next-thread="2002/07/d2430a228176c32b53caed6da8161d5d"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] functor question">
<msg 
  url="2002/07/a2eea2ec85eb7690de7274a72302113e"
  from="Brian Naylor &lt;bwv211mail@y...&gt;"
  author="Brian Naylor"
  date="2002-07-24T04:26:37"
  subject="[Caml-list] functor question">
<msg 
  url="2002/07/c2036a4fb83c16cbfab4d7aa32ec04ed"
  from="Xavier Leroy &lt;xavier.leroy@i...&gt;"
  author="Xavier Leroy"
  date="2002-07-25T09:21:40"
  subject="Re: [Caml-list] functor question">
<msg 
  url="2002/07/472b2ee3456de1732c8ab79ad90e48ff"
  from="Thorsten Ohl &lt;ohl@p...&gt;"
  author="Thorsten Ohl"
  date="2002-07-26T21:32:44"
  subject="[Caml-list] Functors, Modules and Indirections">
</msg>
</msg>
</msg>
</thread>

<contents>
Xavier Leroy &lt;xavier.leroy@inria.fr&gt; writes:

&gt; [...] you pay one more indirection [...]

Is there a theoretical reason for the native compiler not to resolve
module indirections (including inlining) statically at compile time?
[I see that it would break independent compilation for the bytecode
compiler, but the native compiler requires recompilation of dependent
modules anyway.]

Or is there a technical reason other than potential code bloat?

Or are there plane to implement it?

In most cases, the performance penalty will be only a small constant
factor, but it would be nice not having to worry about it at all ---
even in hotspots.

Curious,
-Thorsten
-- 
Thorsten Ohl, Physics Dept., Wuerzburg Univ. -- ohl@physik.uni-wuerzburg.de
http://theorie.physik.uni-wuerzburg.de/~ohl/     [&lt;=== PGP public key here]
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

