Scala Language Spec

The Scala Language Specification, by @odersky and associates.
Quotes selected by @SethTisue.

[Scala Language Spec @scalaspec]

reference: https://t.co/XPwWYRWBB9

[Scala Language Spec @scalaspec]

An anonymous function can be defined by `{case ...}` without a prior `match`. The expected type must be `Functionk[...]` for k > 0 or `PartialFunction[...]` where the argument types must be fully determined but the result type may be undetermined. (SLS 8.5)

[Scala Language Spec @scalaspec]

reference: https://t.co/v5JxN79q3h

[Scala Language Spec @scalaspec]

Type erasure is a mapping from (possibly generic) types to non-generic types (SLS 3.7)

[Scala Language Spec @scalaspec]

reference: https://t.co/nIWiraIjEu

[Scala Language Spec @scalaspec]

Import selectors work in the same way for type and term members. For instance, an import clause `import p.{x => y}` renames the term name `p.x` to the term name `y` and the type name `p.x` to the type name `y`. (SLS 4.7)

[Scala Language Spec @scalaspec]

reference: https://t.co/8aF9zCWdng

[Scala Language Spec @scalaspec]

A sealed class may not be directly inherited, except [...] in the same source file [...]. However, subclasses of a sealed class can be inherited anywhere (SLS 5.2.7)

[Scala Language Spec @scalaspec]

reference: https://t.co/41TLYXw7pS

[Scala Language Spec @scalaspec]

For invocations of signature polymorphic methods [...], the invoked method has a different method type at each call site. [...]
On [JDK 11+] signature polymorphic methods are [...] members of java.lang.invoke.MethodHandle or VarHandle. (SLS 6.6.2)

[Scala Language Spec @scalaspec]

reference: https://t.co/Yx86M3l0Ej; on “skolemization”, see also https://t.co/wSa7zsYm5k

[Scala Language Spec @scalaspec]

The existential type `T forSome { Q }` conforms to U if its skolemization conforms to U. (SLS 3.5.2)

[Scala Language Spec @scalaspec]

reference: https://t.co/iY735HJ8aE

[Scala Language Spec @scalaspec]

A class member definition m that overrides some other function m′ in a base class of C may leave out the return type, even if it is recursive. (SLS 4.6.5)

[Scala Language Spec @scalaspec]

reference: https://t.co/wxW9TpgEdT

[Scala Language Spec @scalaspec]

Deprecated warnings are suppressed in code that belongs itself to a definition that is labeled deprecated. (SLS 11.2.3)

[Scala Language Spec @scalaspec]

reference: https://t.co/RM1fOFdUjf

[Scala Language Spec @scalaspec]

A method named `copy` is implicitly added to every case class unless the class already has a member (directly defined or inherited) with that name, or the class has a repeated parameter. (SLS 5.3.2)

[Scala Language Spec @scalaspec]

reference: https://t.co/AmSP9LRftD

[Scala Language Spec @scalaspec]

The compiler supplies imports in a preamble to every source file. This preamble conceptually has the following form, where braces indicate nested scopes:
import java.lang._ {
import scala._ {
import Predef._ {
/* source */
}}}
(SLS 2)