RE: RE: What are the differences between the different

Play the video

Subject: RE: RE: What are the differences between the different Saxon 9.2 versions and 9.1 (B) <----> 9.2 (HE) ?
From: Owen Rees <owen.rees@xxxxxx>
Date: Fri, 07 Aug 2009 12:54:30 +0100

--On 07 August 2009 11:58 +0100 Michael Kay wrote:

>  Michael Kay wrote:
>
>  http://snelson.org.uk/~jpcs/higher-order-functions.html

Thank you for the link.

Any reason why the subtyping relation is invariant for the
argument types instead of being more generally contravariant?

Sorry, I'm not in with the jargon. Can you explain the question?

A pointer to where in the text it says that the subtype relation is invariant would also be useful.

My first impression of section 2.3 is that the formula given for what "obviously matches" says that contravariant argument types are supported. (For those who do not know the jargon, it just means that the type relation for the arguments is in the opposite direction from the type relation for the result and the function as a whole.

--
Owen Rees; speaking personally, and not on behalf of HP.
========================================================
Hewlett-Packard Limited.   Registered No: 690597 England
Registered Office:  Cain Road, Bracknell, Berks RG12 1HN

Current Thread

RE: RE: What are the differences between the different Saxon 9.2 versions and 9.1 (B) <----> 9.2 (HE) ?, (continued)
- Michael Kay - 7 Aug 2009 10:58:24 -0000
  - Mukul Gandhi - 7 Aug 2009 11:07:27 -0000
    - List Owner - 7 Aug 2009 12:27:23 -0000
    - Message not available
    - Mukul Gandhi - 7 Aug 2009 12:35:36 -0000
  - Owen Rees - 7 Aug 2009 11:55:26 -0000 <=
  - Vladimir Nesterovsky - 7 Aug 2009 13:31:22 -0000
    - Michael Kay - 7 Aug 2009 21:11:05 -0000
    - Dimitre Novatchev - 7 Aug 2009 21:17:52 -0000
    - Vladimir Nesterovsky - 8 Aug 2009 06:01:20 -0000

<- Previous	Index	Next ->
Re: RE: What are the differen, Mukul Gandhi	Thread	Re: RE: What are the differen, Vladimir Nesterovsky
RE: Curious about creating a , Mario Madunic	Date	Re: RE: What are the differen, List Owner
	Month

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Subscribe in XML format

RSS 2.0
Atom 0.3

XML Editor - Download a 15 Day Free Trial Now >

See What's New in Stylus Studio >

Buy Stylus Studio - XML Editor - Now >