On Tue, Jan 13, 2009 at 11:19 AM, Reinier Zwitserloot <[email protected]>wrote:

>  1. BGGA has structural types. You could have a List of (int, int =>
> double)s, in BGGA. The idea of a function that takes 2 ints and
> produces a double is itself just as much a type as a "String" or an
> "InputStream". In all the other ones, you don't get these. Instead you
> have to create an interface with 1 method in it.


Actually in FCM the type would be #(double(int,int))

"Method types will be implemented as a compiler-generated interface.
Considerable investigation and study of the implementation of this concept
has already been undertaken as part of the BGGA proposal [4] (function
types). As such, we don't attempt to duplicate that work here."

http://docs.google.com/View?docid=ddhp95vd_6hg3qhc


Just as a datapoint. Long returns kind of frightens me so that is why I'm
currently more interested in FCM.

BR,
John

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "The 
Java Posse" 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/javaposse?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to