Advertisement

Scala Type System

  • Vishal Layka
  • David Pollak
Chapter

Abstract

Types in a programming language are checked at compile time and can be inferred by a compiler. Scala has a strong and statically typed language with a unified Type system. The two fundamental design considerations of a programming language are static versus dynamic typing and strong versus weak typing.

Keywords

Type Parameter Weak Typing Type Bound Dynamic Typing Type Constructor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Vishal Layka 2015

Authors and Affiliations

  • Vishal Layka
    • 1
  • David Pollak
    • 1
  1. 1.EvereBelgium

Personalised recommendations