This page is no longer maintained — Please continue to the home page at www.scala-lang.org

Re: Abridged summary of scala-language@googlegroups.com - 1 Message in 1 Topic

No replies
Clarence Gardner
Joined: 2011-07-04,
User offline. Last seen 42 years 45 weeks ago.
Well, it would be an extra character for no compelling reason, and even when A is in fact B, A < B still holds because B is a subtype of itself.

On Sat, Jul 2, 2011 at 10:43 PM, <2Bnoreply [at] googlegroups [dot] com" rel="nofollow">scala-language+noreply@googlegroups.com> wrote:
  Today's Topic Summary

Group: http://groups.google.com/group/scala-language/topics

 Topic: Why <: and not <=: ?
    Dave <dave.mahabiersing@hotmail.com> Jul 02 04:14AM -0700 ^
     
    If I understand typeclass with an upper boundery well then:
     
    A <: B
     
    means
     
    A is a subtype of B or B itself (so B is inclusive)
     
    Wouldn't
     
    A<=: B
     
    be more intuitive (I think the more...

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland