« Return to Thread: [scala] Structural types within classes with contravariant type parameters are unsound

Re: [scala] Structural types within classes with contravariant type parameters are unsound

by Paul Phillips-3 :: Rate this Message:

On Thu, Jun 18, 2009 at 11:35:29PM +0500, Vladimir Reshetnikov wrote:
> Looks like unsoundness.

It sure does. File it with this one, which also relies on structural
types being overlax.

http://www.scala-lang.org/node/1109

--
Paul Phillips | Eschew mastication.
Analgesic |
Empiricist |
all hip pupils! |----------* http://www.improving.org/paulp/ *----------

« Return to Thread: [scala] Structural types within classes with contravariant type parameters are unsound