<?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/07/e2bc318b4f0cecf9aa4257e0cefec8ad"
  from="Gregory Morrisett &lt;jgm@c...&gt;"
  author="Gregory Morrisett"
  date="2003-07-13T19:15:02"
  subject="RE: [Caml-list] Does Java 1.5 change its potential as a target?"
  prev="2003/07/f1c61d8dd459b96dd7d116bec458c566"
  next="2003/07/f857ce829e934a19203f79ff42f4d2a1"
  prev-thread="2003/07/f1c61d8dd459b96dd7d116bec458c566"
  next-thread="2003/07/f857ce829e934a19203f79ff42f4d2a1"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="RE: [Caml-list] Does Java 1.5 change its potential as a target?">
<msg 
  url="2003/07/e2bc318b4f0cecf9aa4257e0cefec8ad"
  from="Gregory Morrisett &lt;jgm@c...&gt;"
  author="Gregory Morrisett"
  date="2003-07-13T19:15:02"
  subject="RE: [Caml-list] Does Java 1.5 change its potential as a target?">
</msg>
</thread>

<contents>
&gt;If the 1.5 release of the JVM will support generics and 
&gt;discriminated unions, is there anything keeping it from being 
&gt;on par with the .NET CLR (w/ ILX extensions) for ML 
&gt;implementation?  That is, can the F# project be repeated for 
&gt;Java after this point?

My understanding is that the JVM isn't changing, just Java.
So, for instance, generics are encoded by doing up-casts to
Object and downcasts, etc.  So, we won't be any better off
trying to do F# on the JVM than we are today.  

-Greg

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

