From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id GAA10985; Fri, 26 Jul 2002 06:33:34 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA11059 for ; Fri, 26 Jul 2002 06:33:33 +0200 (MET DST) Received: from mail1.microsoft.com (mail1.microsoft.com [131.107.3.125]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6Q4XWX14714 for ; Fri, 26 Jul 2002 06:33:32 +0200 (MET DST) Received: from inet-vrs-01.redmond.corp.microsoft.com ([157.54.8.27]) by mail1.microsoft.com with Microsoft SMTPSVC(5.0.2195.4905); Thu, 25 Jul 2002 21:33:31 -0700 Received: from 157.54.6.197 by inet-vrs-01.redmond.corp.microsoft.com (InterScan E-Mail VirusWall NT); Thu, 25 Jul 2002 21:33:31 -0700 Received: from red-msg-04.redmond.corp.microsoft.com ([157.54.12.74]) by inet-hub-06.redmond.corp.microsoft.com with Microsoft SMTPSVC(5.0.2195.2966); Thu, 25 Jul 2002 21:33:30 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0 content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] ocaml for Mono/.NET? Date: Thu, 25 Jul 2002 21:33:29 -0700 Message-ID: Thread-Topic: [Caml-list] ocaml for Mono/.NET? Thread-Index: AcIyhcBm+kd2nS4bQS6Z+cpPnLzS+gB1us8w From: "Andrew Kennedy" To: "Michael Vanier" , Cc: X-OriginalArrivalTime: 26 Jul 2002 04:33:30.0851 (UTC) FILETIME=[981E2330:01C2345D] Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Our SML.NET implementation compiles the functors of Standard ML by expanding them at compile-time. There *is* a tension between supporting all the features of the source language and at the same time providing smooth inter-operation with other .NET languages. Hopefully for functional languages this tension will lessen when parametric polymorphism is supported by the .NET CLR.=20 - Andrew. -----Original Message----- From: Michael Vanier [mailto:mvanier@cs.caltech.edu]=20 Sent: 21 July 2002 00:27 To: bemann@execpc.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml for Mono/.NET? > Date: Sun, 21 Jul 2002 00:25:49 -0400 > From: Travis Bemann >=20 > On Wed, Jul 17, 2002 at 12:31:52AM -0700, Michael Vanier wrote: > > > > Are there any plans to port ocaml to .NET? Given that the Mono > > implementation of .NET is coming along nicely, having an ocaml compiler > > that can compile to .NET IL would greatly increase ocaml's visibility, not > > to mention solving some of the library and packaging issues that keep > > coming up with ocaml. I know about the F# project, but that implementati=3D > on > > appears to be only for a subset of ocaml, and is controlled by Microsoft. > > I'd be happier with something from the core ocaml team. Of course, MY > > motivation is that I'd like to be able to write nifty graphical apps in > > ocaml under Linux. After all, once you learn ocaml, C# is not really very > > tempting ;-) >=20 > The thing is that this subset is FORCED by the inherent design of the > CLR/.NET bytecode virtual machine, which doesn't support stuff like > parameterized modules. Any attempt to port something like OCaml to > something like CLR/.NET will only result in its bastardization, and > thus the loss of many of its features/advantages. >=20 That's interesting, considering that standard ML is one of the languages supposedly targeted by the common language runtime (by which I mean that the SML team was consulted on what features they would need in the intermediate language in order to support SML). Doesn't SML have parameterized modules? Mike ------------------- 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 ------------------- 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