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 TAA01293; Sun, 9 Jun 2002 19:53:20 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA01634 for ; Sun, 9 Jun 2002 19:53:19 +0200 (MET DST) Received: from relay.pair.com (relay1.pair.com [209.68.1.20]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g59HrIH11830 for ; Sun, 9 Jun 2002 19:53:18 +0200 (MET DST) Received: (qmail 82895 invoked from network); 9 Jun 2002 17:53:17 -0000 Received: from adsl-host-sf-228.apexworld.net (HELO checkerlap.d6.com) (66.114.212.228) by relay1.pair.com with SMTP; 9 Jun 2002 17:53:17 -0000 X-pair-Authenticated: 66.114.212.228 Message-Id: <4.3.2.7.2.20020609103726.04652100@mail.d6.com> X-Sender: checker@mail.d6.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Sun, 09 Jun 2002 10:49:02 -0700 To: "Don Syme" , "Xavier Leroy" , "Vincent Foley" From: Chris Hecker Subject: RE: [Caml-list] F# Cc: "OCaml Mailing list" In-Reply-To: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >F# programs compiled for V1 of the CLR use the type "object" for all >values of variable (i.e. 'a) type. This is simple erasure. Huh. I must not understand the issues, because I thought it was harder than this. If you can just make 'a into objects, why were people complaining that it's hard to make it work? (Xavier called your work a tour de force, and I thought I'd learn something by trying to understand why. But, I'm a relative beginner, and the research papers dive in deep pretty quick. :) Also, what are the dlls that are installed? When you say "compiled for V1 of the CLR", does that mean you have a bytecode file that will run anywhere (like Java), or does it need the extension dlls to be installed? I'm mostly just trying to figure out exactly what I could use F# for. I need to write an applet that runs on a webpage. The applet it going to be a stripped down version of a program I'm writing in caml. The ultimate thing for me would be ocaml code compiled onto the JVM, since it's everywhere. Ocaml compiled for the .net CLR would be an okay second place since I assume the .net runtime will be close to everywhere eventually. Requiring people to install dlls is not quite as nice, but still might be better than rewriting my app in java. Hopefully the questions make sense? Thanks, Chris ------------------- 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