index.adoc

Scala’s Types of Types

sections/intro.adoc sections/type_ascription.adoc sections/unified_type_system.adoc sections/bottom_types.adoc sections/type_word.adoc sections/variance.adoc sections/traits.adoc sections/refinements.adoc sections/package_object.adoc sections/alias.adoc sections/abstract_type_member.adoc sections/self_recursive_type.adoc sections/type_constructor.adoc sections/case_class.adoc sections/enumeration.adoc sections/value_class.adoc sections/type_class.adoc sections/universal_trait.adoc sections/self_type.adoc sections/phantom_type.adoc sections/structural_type.adoc sections/path_dependent_type.adoc sections/type_projection.adoc sections/existential_type.adoc sections/specialized_types.adoc sections/type_lambda.adoc sections/union_type.adoc sections/delayed_init.adoc sections/dynamic.adoc

bibliography.adoc sections/kudos.adoc

li.active { background: aliceblue; }