Programming MisconceptionsHomeMisconceptionsConceptsLanguagesTextbooksContributorsAbout
HomeConcepts
Type

Type

A type is a set of values supporting a certain set of operations.

Related concepts:  ValueClass

Closest Wikipedia entry:  Type system

Authoritative Definition

Wikipedia does not necessarily offer the best fitting definition of a concept. The exact meaning we attribute to the concept of Type is based on principled authoritative sources such as:

nLab - Section type theory
Types and Programming Languages - Section 1

Misconceptions about Type
38 documented Misconceptions

Any LanguageJavaJavaScriptPythonScratch
Check Yourself
Misconception
EqualityOperatorComparesOnlyTypes
() = () compares only the types of its operands
Misconception
ListsHomogeneous
All items in a list must have the same type

Find Misconceptions by...

Concept
Programming Language
Notional Machine
Textbook

About

About This SiteContributors

Stay up-to-date

Follow us on  twitter to hear about new misconceptions.