in reply to Re^2: "strong typing" is a meaningless phrase
in thread (Completely OT) - Hero(i)n programming language on Slashdot
In the litature, types systems are well-defined. In essence, a type system limits what operations you can do with a given piece of data.
Note that "types" come out of formal logic, and predate computer science.
"There is no shame in being self-taught, only in not trying to learn in the first place." -- Atrus, Myst: The Book of D'ni.
|
|---|