Destructor

Definitions

  • Webster's Revised Unabridged Dictionary
    • Destructor A destroyer. "Fire, the destructor and the artificial death of things.""There, victor of his health, of fortune, friends,
      And fame, this lord of useless thousands ends."
    • Destructor (Sewage Disposal) A furnace or oven for the burning or carbonizing of refuse
    • Destructor (Computers) in object-oriented programming, a function which destroys an object which was previously created by a different function.
    • ***
Century Dictionary and Cyclopedia
    • n destructor A destroyer; a consumer.
    • n destructor Specifically, a furnace or crematory for the burning of refuse.
    • ***
Chambers's Twentieth Century Dictionary
    • Destructor a destroyer: a furnace for burning up refuse
    • ***

Etymology

Webster's Revised Unabridged Dictionary
L., from destruere,. See Destroy, and cf. Destroyer

Usage

In literature:

He said he had been told to take them to the Destructor, and he was going to do so.
"The Ragged Trousered Philanthropists" by Robert Tressell
These hoppers are in the middle of the width of the destructor, and each communicates with a cell on each side of it.
"Scientific American Supplement, No. 362, December 9, 1882" by Various
I've got everything down there, and I've put the lid on the destructor to keep the wet out.
"A Diversity of Creatures" by Rudyard Kipling
Conilurus destructor Ogilby 1:18.
"Journals Of Two Expeditions Of Discovery In North-West And Western Australia, Vol. 2 (of 2)" by George Grey
The new inventions are humanity's destructors to annihilate civilization's destroyers.
"Is civilization a disease?" by Stanton Coit
The municipal garbage plant (destructor) collects and reduces to fertilizer 100 tons of garbage per day.
"Encyclopaedia Britannica, 11th Edition, Volume 6, Slice 5" by Various
The body of MZ04 went into the refuse-destructor hours ago.
"The New Gulliver and Other Stories" by Barry Pain
DESTRUCTORS, REFUSE, the apparatus or plant used in the cremation of house and factory refuse.
"The New Gresham Encyclopedia" by Various
***

In science:

When providing a collection of constructors to define an inductive type, we actually also define a dual operation: a destructor.
CoInduction in Coq
This destructor is always defined using the same structure of pattern-matching, so that we have a tendency to forget that we do extend the “pattern-matching” capability with a new destructor at each definition.
CoInduction in Coq
Constructors and destructors play a dual role in the definition of inductive types.
CoInduction in Coq
Constructors produce elements of the inductive type, destructors consume elements of the inductive type.
CoInduction in Coq
The discipline of structural recursion imposes that recursive calls consume data that is obtained through the destructor.
CoInduction in Coq
***