Jon Harrop wrote:
> On Thursday 24 April 2008 19:23:31 Ola Bini wrote:
>   
>> Hmm. Tell me what the JVM misses that .NET has with regards to OCaml and
>> F#. Because I really can't figure out what it would be.
>>     
>
> Tail calls has to be the single biggest omission. There are others like 
> first-class functions and custom value types.
>
>   
I totally agree about tail calls. Of course, F# doesn't use the .NET 
tail calls because they are implemented so badly. So this is no real 
difference between the JVM and .NET.
Value types, yeah. I really do hope John Rose's ideas about tuples will 
get in to the next version of Java. They would do all we need for value 
types, really. (almost at least).
Also, first class functions. This area I'm hazy on, but doesn't C# just 
synthesize them into class implementations, just like the Java proposals 
for closures will do?
Delegates definitely doesn't have any real VM support.

So I would say that value types are the only real thing missing in the 
comparison. Of course, the JVM has lots of things that are missing from 
.NET, including a very advanced hotspot engine with both selective 
optimization and deoptimization.

>> Also, stating the compellability of OCaml/F# over Lisp/Scheme is
>> something I'm definitely against. (I'm against the converse too, of course)
>>     
>
> I mean the examples for OCaml/F# seem a lot more compelling to me (e.g. 
> MATLAB, Windows, Halo 3, MSN Live). Perhaps that is just my perspective. 
> YMMV.
>   
Yeah. My mileage does wary. OCaml is nice in some circumstances, Common 
Lisp and Scheme in others. I've enough of both that I can't declare any 
of them superior to the other. Not really.


-- 
 Ola Bini (http://ola-bini.blogspot.com) 
 JRuby Core Developer
 Developer, ThoughtWorks Studios (http://studios.thoughtworks.com)
 Practical JRuby on Rails (http://apress.com/book/view/9781590598818)

 "Yields falsehood when quined" yields falsehood when quined.



--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "JVM 
Languages" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/jvm-languages?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to