Niels Notes

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Typing ======

Three area's/axis of differences: 
 
  - Static vs dynamic typing (compiled vs interperated)
  - Manifested vs Infered  
  - Nominal vs Structural (identified by name vs structure)
 
 // strong vs weak typing (are not clearly defined terms) //


 manifested: types are all explicitly defined by the programmer
 infered: compiler figures out the type of data infered from the value assigned to the variable. 

 nominal: identified by name, for instance class Car is defined Car type by the name. 
 structural: determine the type by looking at the data. (think of interfaces different classes can implement the same interface. However in structural typeing you dont have to explicitly define that classes implement the inteface it gets inferred. )  types get checked at compile time

 duck typing/latent typing, Similar to structural typing.  Like if it looks, quacks and moves like a duck, its probably a duck. So this type checks if certain properties are present. Types associated with the data/values. types checked at runtime. 
 



{{tag>[Software_Development Typing]}}

Niels Notes

User Tools

Site Tools

Page Tools