<?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="2003/11/fe1cf8257b6ab7bf556c839001ef56c6"
  from="Oleg Trott &lt;oleg_trott@c...&gt;"
  author="Oleg Trott"
  date="2003-11-20T11:13:32"
  subject="[Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)"
  prev="2003/11/a67170a9ced404324482eedfe2026978"
  next="2003/11/dfc877a22464b7360f04f9c9e84b646f"
  prev-in-thread="2003/11/4296b489fdc23a686237c0966d8b01c1"
  next-in-thread="2003/11/dfc877a22464b7360f04f9c9e84b646f"
  prev-thread="2003/11/fa7fd7f24b1fa8fe03faf7957eab5c7b"
  next-thread="2003/11/a2140a10ae8f0fe8f4ff398f0fbd2ddc"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] Compiling a native code OCaml library into an .so?">
<msg 
  url="2003/11/fb9d232a4943e8114fb8232e3f6e0533"
  from="Aleksey Nogin &lt;nogin@c...&gt;"
  author="Aleksey Nogin"
  date="2003-11-19T23:49:16"
  subject="[Caml-list] Compiling a native code OCaml library into an .so?">
<msg 
  url="2003/11/3e56b235242226f208aa4773ba9575b9"
  from="Kamil Shakirov &lt;kamils@i...&gt;"
  author="Kamil Shakirov"
  date="2003-11-20T03:30:10"
  subject="Re: [Caml-list] Compiling a native code OCaml library into an .so?">
<msg 
  url="2003/11/4296b489fdc23a686237c0966d8b01c1"
  from="Aleksey Nogin &lt;nogin@c...&gt;"
  author="Aleksey Nogin"
  date="2003-11-20T04:57:17"
  subject="Re: [Caml-list] Compiling a native code OCaml library into an .so?">
</msg>
<msg 
  url="2003/11/fe1cf8257b6ab7bf556c839001ef56c6"
  from="Oleg Trott &lt;oleg_trott@c...&gt;"
  author="Oleg Trott"
  date="2003-11-20T11:13:32"
  subject="[Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)">
<msg 
  url="2003/11/dfc877a22464b7360f04f9c9e84b646f"
  from="Ville-Pertti Keinonen &lt;will@e...&gt;"
  author="Ville-Pertti Keinonen"
  date="2003-11-20T11:30:46"
  subject="Re: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)">
<msg 
  url="2003/11/a783473d302282d37390638ab8029dfa"
  from="Oleg Trott &lt;oleg_trott@c...&gt;"
  author="Oleg Trott"
  date="2003-11-20T17:07:33"
  subject="Re: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)">
</msg>
</msg>
<msg 
  url="2003/11/7bfaea1d5af0f9ce57055a96a08b618c"
  from="Christian Lindig &lt;lindig@c...&gt;"
  author="Christian Lindig"
  date="2003-11-20T11:46:58"
  subject="Re: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)">
<msg 
  url="2003/11/87e0f4fa442bd1c4cdaeaa3f188b670e"
  from="ZHAO Wei &lt;zhaoway@p...&gt;"
  author="ZHAO Wei"
  date="2003-11-20T12:01:54"
  subject="Re: [Caml-list] Caml as C--">
</msg>
<msg 
  url="2003/11/c3fd41ebe10e477e7c35b3f0f7cefdce"
  from="Oleg Trott &lt;oleg_trott@c...&gt;"
  author="Oleg Trott"
  date="2003-11-20T16:38:16"
  subject="Re: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?)">
</msg>
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>
On Wednesday 19 November 2003 10:33 pm, Kamil Shakirov wrote:
&gt; &gt; Am I missing any serious difficulties here? Are there any plans to add
&gt; &gt; something like this to OCaml?
&gt;
&gt; Look at the http://www.boblycat.org/~malc/scaml/

Things like this make me wonder how people outside of INRIA understand the 
inner workings of Caml compiler (enough to modify it). Just  guessing by 
looking at the rather sparcely commented source? Or is there anything else?

In particular, I'm curious if parts of Caml compiler, such as "asmcomp", could 
be used as a sort of C--, i.e. a weakly typed backend for another language, 
especially if the language itself is written in Caml.

TIA
-- 
Oleg Trott &lt;oleg_trott@columbia.edu&gt;

-------------------
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>

