ponder

[pon-der]
verb (used without object)
1.
to consider something deeply and thoroughly; meditate (often followed by over or upon ).
verb (used with object)
2.
to weigh carefully in the mind; consider thoughtfully: He pondered his next words thoroughly.

Origin:
1300–50; Middle English pondren < Middle French ponderer < Latin ponderāre to ponder, weigh; akin to pendēre to be suspended, hang (see pend)

ponderer, noun
reponder, verb (used without object)
unpondered, adjective
well-pondered, adjective


1. reflect, cogitate, deliberate, ruminate.
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To ponder
Collins
World English Dictionary
ponder (ˈpɒndə)
 
vb (when intr, sometimes foll by on or over)
to give thorough or deep consideration (to); meditate (upon)
 
[C14: from Old French ponderer, from Latin ponderāre to weigh, consider, from pondus weight; related to pendere to weigh]

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
Etymonline
Word Origin & History

ponder
early 14c., "to estimate the worth of, to appraise," from O.Fr. ponderare "to weigh, poise," from L. ponderare "to ponder, to consider," lit. "to weigh," from pondus (gen. ponderis) "weigh" (see pound (1)). Meaning "to weigh a matter mentally" is attested from late 14c.
Online Etymology Dictionary, © 2010 Douglas Harper
Cite This Source
FOLDOC
Computing Dictionary

Ponder definition


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].
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Example sentences
Open-minded readers will enjoy her beautifully written book as an opportunity
  to ponder our shared humanity.
The visitor is left to ponder if perhaps these two women are actually one.
As he plumbed the details, he found more and more to admire and ponder.
He looks forward to the chance to read, chat and ponder on the boat.
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature