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:
“Fathers and mothers have lost the idea that the highest aspiration they might have for their children is for them to be wise ... specialized competence and success are all that they can imagine.”
—Allan Bloom (1930–1992)
“The ideal American type is perfectly expressed by the Protestant, individualist, anti-conformist, and this is the type that is in the process of disappearing. In reality there are few left.”
—Orson Welles (1915–1984)
“People stress the violence. That’s the smallest part of it. Football is brutal only from a distance. In the middle of it there’s a calm, a tranquility. The players accept pain. There’s a sense of order even at the end of a running play with bodies stewn everywhere. When the systems interlock, there’s a satisfaction to the game that can’t be duplicated. There’s a harmony.”
—Don Delillo (b. 1926)