I ponder the selection (pterodactyl, triceratops, etc) before settling on a T-Rex.
A shallow reflective pool allows viewers to ponder life and death as they get lost in the darkened room.
On this near-spring Sunday morning, take some time and ponder the Church in the modern world.
Others close to him, including his brother, said he would not, but they grew quiet as he continued to ponder.
But ponder the sequence of events that began with his speech in Cairo and the hand that he held out that day to moderate Muslims.
Lady Elizabeth for some time made no reply, but seemed to ponder upon this statement very earnestly.
ponder, whether yet many of them be as they should be or no?
This appalling narrative, which was never refuted, is really too horrible to ponder over.
She left the room, and I remained to ponder over this strange interview.
Then, as was quite natural, her thoughts wandered to Mollie, and she began to ponder upon what Aime had told her.
early 14c., "to estimate the worth of, to appraise," from Old French ponderer "to weigh, poise" (14c., Modern French pondérer) and directly from Latin ponderare "ponder, consider, reflect," literally "to weigh," from pondus (genitive ponderis) "weigh" (see pound (n.1)). Meaning "to weigh a matter mentally" is attested from late 14c. Related: Pondered; pondering; ponderation.
A non-strict polymorphic, functional language by Jon Fairbairn
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].