[mercury-users] Java Parameterized Types

[Tyson Dowd]

On 06-Jun-2001, Tom Howland <tom.howland at us.xacct.com> wrote:
> Did you know that there is a push towards giving Java parameterized types?
> 
>  http://jcp.org/jsr/detail/14.jsp 
> 
> I wonder if that would help porting Mercury to the JVM.

This probably would help in the long term, but in the short term it
doesn't help.

We have a Mercury to Java backend but it is incomplete.  Probably the
biggest outstanding problems (and these are common to the Java and .NET
backends)
	- RTTI is not supported properly because of the unsuitable data
	  structures and need to write handwritten code to access all
	  the data structures.
	- The standard library is not supported properly, because we
	  need to re-write handwritten code for everything.

These form the hard part of the mlds_to_java.m TODO list
(in that I think we can solve the other problems using techniques we use
in the .NET backend):

%       multidet and nondet predicates
%       RTTI
%       handle foreign code written in Java
%       higher order functions
%       generate names of classes etc. correctly
%       generate du constructors instead of directly assigning fields
%       generate optimized tailcalls
%       handle foreign code written in C
%       handle static ground terms



-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------