RE: [Caml-list] introspection & CLR ?

RE: [Caml-list] introspection & CLR ?

[Don Syme]

Hi Michael,

When time permits I plan to implement a .NET CLR compiler for Caml.
Initially I will implement only the core language, and perhaps
first-order modules, and then to assess things after that.  I will be
coding the implementation up from scratch rather than using the sources
for the existing OCaml compiler, but may leverage the backend of the
existing SML.NET compiler.

My first reason for doing this is because I have an existing OCaml code
base that I would like to make available as a .NET library. (See
http://research.microsoft.com/projects/ilx )  Plus I love Caml, and
would like to see it supported on .NET, and I'm interested in proving
that interoperability between functional languages is practical in .NET.

This implementation path would give object introspection capabilities
for free.  However it would no doubt be slower than the existing native
code Caml implementation: you don't get something for nothing.

I don't know of any other _active_ efforts to do a .NET compiler for
Caml.  SML.NET will, hopefully, be available publicly soon: email
nick@microsoft.com or crusso@microsoft.com for details.

Best wishes,
Don


-----Original Message-----
From: NO SPAM! [mailto:"mic"@verizon.net] 
Sent: 27 September 2001 03:59
To: caml-list@inria.fr
Subject: [Caml-list] introspection & CLR ?

Hi,

I have two questions regarding OCAML's future:

1) are there plans to equip OCAML with object introspection?
2) what are the plans regarding OCAML & CLR?

Cheers.

--
Michael Buro           | Michael.Buro@(NOSPAMDELETE)verizon.net
185 South Harrison St. | http://buro.dnsalias.net:1111
Princeton NJ 08540 USA | Tel: +1 (609) 497-2095
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ:
http://caml.inria.fr/FAQ/
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/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] introspection & CLR ?

[Jean-Marc Eber]

>When time permits I plan to implement a .NET CLR compiler for Caml.
>Initially I will implement only the core language, and perhaps
>first-order modules, and then to assess things after that.  I will be
>coding the implementation up from scratch rather than using the sources
>for the existing OCaml compiler, but may leverage the backend of the
>existing SML.NET compiler.
One question:
knowing that
-you know and work with OCaml,
-you have used it for CLR linked stuff,
-OCaml is written in OCaml,
-You want to create an OCaml compatible compiler, or a .NET CLR
backend, whatever you want to call it,
I would intuitively think that it would be easiest and MUCH less work to
use some existing compiler code, et least for the parsing and typing, no ?
Or did I miss something ?

Best wishes,

Jean-Marc Eber


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

[Caml-list] introspection & CLR ?

[NO SPAM!]

Hi,

I have two questions regarding OCAML's future:

1) are there plans to equip OCAML with object introspection?
2) what are the plans regarding OCAML & CLR?

Cheers.

--
Michael Buro           | Michael.Buro@(NOSPAMDELETE)verizon.net
185 South Harrison St. | http://buro.dnsalias.net:1111
Princeton NJ 08540 USA | Tel: +1 (609) 497-2095
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr