Types

Type systems and how they find errors before or during a run.

• Type systems0 pages
• Static and dynamic checking0 pages
• Type inference0 pages
• Generics and parametric polymorphism0 pages
• Subtyping and variance0 pages
• Algebraic data types0 pages
• Gradual typing0 pages
• Dependent and refinement types0 pages
• Nullability0 pages
• Type classes and traits0 pages
• Type erasure and reification0 pages
• Units of measure0 pages

This area has no pages yet. The coverage plan lists the pages that it needs. You can write one of them. Read how to contribute.