Ponder

(redirected from pondered)
Also found in: Dictionary, Thesaurus, Idioms.
Related to pondered: obviate, deteriorate

Ponder

A non-strict polymorphic, functional language by Jon Fairbairn <jf@cl.cam.ac.uk>.

Ponder's type system is unusual. It is more powerful than the Hindley-Milner type system used by ML and Miranda and extended by Haskell. Ponder adds extra recursive 'mu' types to those of Girard's System F, allowing more general recursion. Surprisingly, the type system and type inference algorithm are still not completely understood.

["Ponder and its Type System", J. Fairbairn, TR 31, Cambridge U Computer Lab, Nov 1982].

[J. Fairbairn, "Design and Implementation of a Simple Typed Language based on the Lambda-Calculus", Technical Report No. 75, Computer Laboratory, University of Cambridge, May 1985].

[J. Fairbairn, "A New Type-Checker for a Functional Language", Technical Report No. 53, Computer Laboratory, University of Cambridge, 1984].

[J. Fairbairn, "Some Types with Inclusion Properties in \forall, \rightarrow, \mu", Technical Report No. 171, Computer Laboratory, University of Cambridge, Jun 1989].

[Valeria C. V. de Paiva, "Subtyping in Ponder (Preliminary Report)", Technical Report No. 203, Computer Laboratory, University of Cambridge, Aug 1990].
References in classic literature ?
"You are a sort of monster," I added audaciously, "a Caliban who has pondered Setebos, and who acts as you act, in idle moments, by whim and fancy."
And as I toddled, I pondered. Beer was a very precious thing.
Stepan Arkadyevitch's eyes twinkled gaily, and he pondered with a smile.
As Sheldon rode about the plantation, acknowledging to himself the comfort and convenience of a horse and wondering why he had not thought of getting one himself, he pondered the various improvements for which Joan was responsible--the splendid Poonga-Poonga recruits; the fruits and vegetables; the Martha herself, snatched from the sea for a song and earning money hand over fist despite old Kinross's slow and safe method of running her; and Berande, once more financially secure, approaching each day nearer the dividend-paying time, and growing each day as the black toilers cleared the bush, cut the cane-grass, and planted more cocoanut palms.
How strange was this miracle of fame, I pondered, this strange apotheosis by which a mere private name becomes a public symbol!
Once upon a midnight dreary, while I pondered, weak and weary, Over many a quaint and curious volume of forgotten lore, While I nodded, nearly napping, suddenly there came a tapping, As of some one gently rapping, rapping at my chamber door.