Type system

Most Relevant Related Tags

• subtype [11%]
  
• type theory [11%]
  
• data type [11%]
  
• type inference [8%]
  
• dependent type [8%]
  
• integer [8%]
  
• programming language [8%]
  
• dependent ml [6%]
  
• operator overloading [6%]
  
• javascript [6%]
  
• structural type system [6%]
  
• type conversion [6%]
  
• type safety [6%]
  
• abstract data type [6%]
  
• array [6%]
  
• php [6%]
  
• wikibooks [6%]
  
• nominative type system [6%]
  
• bit [6%]
  
• compiler [6%]
  

This is the cloud of related tags for the Type system concept

abstract data type alex martelli applescript array associative array bit boolean bounds checking common lisp compiler composite type computer computer science data type debugging dependent ml dependent type derived type documentation downcasting duck typing effect system eval existential quantification fail-fast fortran generic programming integer javascript kind linear logic memory address metaclass metaprogramming microsoft module nominative type system object type objective-c operator overloading php perl polymorphism polymorphism in object-oriented programming presburger arithmetic primitive type programming language recursive type reference type signedness smalltalk software testing strongly-typed programming language structural type system subtype trade-off type conversion type inference type polymorphism type safety type signature type theory typeful programming uniqueness type unit testing universal quantification visual basic wikibooks