VladUreche

$ cat C.scala 
class C[@specialized T](t: T)
class D[@specialized T](t: T) extends C[T](t)

$ scalac C.scala 
C.scala:2: warning: class C must be a trait. Specialized version of class D will inherit generic C[Boolean]
class D[@specialized T](t: T) extends C[T](t)
      ^
one warning found

VladUreche

$ ls
A.scala B.scala

$ cat A.scala
class A[@specialized T](t: T)

$ scalac A.scala

$ cat B.scala
object Test extends App {

VladUreche

# Scaladoc Developer Guide
## Introduction
Scaladoc is the tool that enables developers to automatically generate documentation for their Scala (and Java) projects. It is Scala's equivalent of the widely-used Javadoc tool. This means that Javadoc (and even doxygen) users will be familiar with Scaladoc from day 1: for them, it is most beneficial to check out the Scaladoc/Javadoc comparison tables and if necessary, skim through this document to understand specific features. 

The rest of this tutorial is aimed at developers new to Scaladoc and other similar tools. It assumes a basic understanding of the Scala language, which is necessary to follow the examples given throughout the tutorial. For the user perspective on the Scaladoc-generated documentation, such as finding a class, understanding the page layout, navigating through diagrams, please refer to the Scaladoc User Guide.

The tutorial will start by a short motivation and then will explain the main concept in Scaladoc: the doc comment.

### Why document?

VladUreche

Miniboxing - Reverse Example

This is an example of using the miniboxing plugin in the Scala interpreter. For the benchmark, we reverse a 10M integer array, and compare the performance of the generic version and the miniboxed version.

You get 4-9x speedups by adding a single @miniboxed annotation:

scala> def reverse_gen[T](array: Array[T]): Unit = ...

VladUreche

$ cat test.scala
trait Foo[A] {
  final def bar(a:A):A = bar(a)
}

$ scalac -Xprint:tailcalls test.scala
[[syntax trees at end of                 tailcalls]] // test.scala
package <empty>#4 {
  abstract trait Foo#6[A#7308 >: Nothing#3704 <: Any#3703] extends Object#1785 {
    ...