Specialized Type Systems
Many type systems have been created that are specialized for use in certain environments with certain types of data, or for out-of-band static program analysis. Frequently, these are based on ideas from formal type theory and are only available as part of prototype research systems.
Read more about this topic: Type System
Famous quotes containing the words specialized, type and/or systems:
“In the twentieth century, death terrifies men less than the absence of real life. All these dead, mechanized, specialized actions, stealing a little bit of life a thousand times a day until the mind and body are exhausted, until that death which is not the end of life but the final saturation with absence.”
—Raoul Vaneigem (b. 1934)
“But the mothers yearning, that completest type of the life in another life which is the essence of real human love, feels the presence of the cherished child even in the debased, degraded man.”
—George Eliot [Mary Ann (or Marian)
“The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.”
—Jean Baudrillard (b. 1929)