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)
“The more characteristic American hero in the earlier day, and the more beloved type at all times, was not the hustler but the whittler.”
—Mark Sullivan (1874–1952)
“No civilization ... would ever have been possible without a framework of stability, to provide the wherein for the flux of change. Foremost among the stabilizing factors, more enduring than customs, manners and traditions, are the legal systems that regulate our life in the world and our daily affairs with each other.”
—Hannah Arendt (1906–1975)