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)
“It is not true that there is dignity in all work. Some jobs are definitely better than others.... People who have good jobs are happy, rich, and well dressed. People who have bad jobs are unhappy, poor and use meat extenders. Those who seek dignity in the type of work that compels them to help hamburgers are certain to be disappointed.”
—Fran Lebowitz (b. 1950)
“What is most original in a man’s nature is often that which is most desperate. Thus new systems are forced on the world by men who simply cannot bear the pain of living with what is. Creators care nothing for their systems except that they be unique. If Hitler had been born in Nazi Germany he wouldn’t have been content to enjoy the atmosphere.”
—Leonard Cohen (b. 1934)