The Artima Developer Community
Sponsored Link

Programming in Scala Forum
self-types, existentials, index and a general comment

3 replies on 1 page. Most recent reply: Jan 22, 2008 11:49 AM by Matt Hellige

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 3 replies on 1 page
Matt Hellige

Posts: 24
Nickname: hellige
Registered: Dec, 2005

self-types, existentials, index and a general comment Posted: Jan 7, 2008 12:22 PM
Reply to this message Reply
Advertisement
Are self-type annotations explained in the book? If so, where? What about existential types? I can't find any occurrence of "self type", "self-type", "forSome" or "existential". Maybe I'm searching for the wrong terms?

I suppose the final edition of the book will have an index as well?

In general, this suggests to me that the book might not describe the complete Scala language. If these sections are forthcoming, please disregard the comment. But if this is true, it really concerns me. I know that some parts of the language are potentially intimidating, but users will certainly encounter them eventually. (In fact, self-types are one of Scala's most novel, powerful and appealing features, and as of 2.6.2., existentials will be everywhere.) If they reach to the book for a reference and find that these features are "too advanced," the response is sure to be terrible. And in the end, it's probably the most advanced features that most need a good introduction.

Scala is not such a huge language. I hope that in 500 pages, the whole language can be introduced!


Silvestre Zabala

Posts: 5
Nickname: silvestre
Registered: Dec, 2007

Re: self-types, existentials, index and a general comment Posted: Jan 11, 2008 9:21 AM
Reply to this message Reply
Indeed, I hope the book will cover the whole language.

Additionally, I haven't found structurally defined types in the book.

Bill Venners

Posts: 2284
Nickname: bv
Registered: Jan, 2002

Re: self-types, existentials, index and a general comment Posted: Jan 22, 2008 11:47 AM
Reply to this message Reply
> Are self-type annotations explained in the book? If so,
> where? What about existential types? I can't find any
> occurrence of "self type", "self-type", "forSome" or
> "existential". Maybe I'm searching for the wrong terms?
>
Not in there yet, but will be in the final version.

> I suppose the final edition of the book will have an index
> as well?
>
Yes.

> In general, this suggests to me that the book might not
> describe the complete Scala language. If these sections
> are forthcoming, please disregard the comment. But if this
> is true, it really concerns me. I know that some parts of
> the language are potentially intimidating, but users will
> certainly encounter them eventually. (In fact, self-types
> are one of Scala's most novel, powerful and appealing
> features, and as of 2.6.2., existentials will be
> everywhere.) If they reach to the book for a reference and
> find that these features are "too advanced," the response
> is sure to be terrible. And in the end, it's probably the
> most advanced features that most need a good
> introduction.
>
> Scala is not such a huge language. I hope that in 500
> pages, the whole language can be introduced!
>
Right. Our plan is that the book cover all aspects of the language.

Matt Hellige

Posts: 24
Nickname: hellige
Registered: Dec, 2005

Re: self-types, existentials, index and a general comment Posted: Jan 22, 2008 11:49 AM
Reply to this message Reply
Great, thanks!

Flat View: This topic has 3 replies on 1 page
Topic: Do you really need a chapter on stateful objects? Previous Topic   Next Topic Topic: Chapter 14, p. 261

Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use