[mercury-users] literature polymorphic recursive calls

Ralph Becket rafe at cs.mu.OZ.AU
Mon Jun 20 19:43:16 AEST 2005

Hi Tom,

Tom Schrijvers, Monday, 20 June 2005:
> Hi,
> I am looking for literature about a particular aspect of Mercury's type
> inference, namely the way it deals with polymorphic recursive calls. Is
> there some documentation about the iteration limit and what recursive
> calls lead to infinite types? Are there any new or upcoming developments
> on this account?

The best document on the subject would be David Jeffrey's Ph.D.
dissertation, "Expressive type systems for logic programming languages"

We don't have any current plans to extend the type system other than to
add constructor classes to the type class system.  We have discussed 
moving to a constraint-based approach to type analysis, but have neither
the need nor the money to justify the work at present!

Hope that helps,
-- Ralph
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

More information about the users mailing list