olemus
programmikeel, milles varjatult tehakse argumendi tüübiteisendusi

ülevaateid
http://www.i-programmer.info/programming/theory/1469-type-systems-demystified-part2-weak-vs-strong.html