Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary

Search Dictionary:  

Meaning of PONDER

Pronunciation:  'pândur

WordNet Dictionary
[v]  reflect deeply on a subject; "I mulled over the events of the afternoon"; "philosophers have speculated on the question of God for thousands of years"; "The scientist must stop to observe and start to excogitate"

PONDER is a 6 letter word that starts with P.


 Synonyms: chew over, contemplate, excogotate, meditate, mull, mull over, muse, reflect, ruminate, speculate, think over
 See Also: bethink, brood, cerebrate, cogitate, consider, dwell, introspect, premeditate, puzzle, question, study, theologise, theologize, think, wonder, worry



Webster's 1913 Dictionary
  1. \Pon"der\, v. t. [imp. & p. p. {Pondered}; p. pr. & vb.
    n. {Pondering}.] [L. ponderare, fr. pondus, ponderis, a
    weight, fr. pendere to weigh: cf. F. pond['e]rer. See
    {Pendant}, and cf. {Pound} a weight.]
    1. To weigh. [Obs.]
    2. To weigh in the mind; to view with deliberation; to
       examine carefully; to consider attentively.
             Ponder the path of thy feet.          --Prov. iv.
    Syn: To {Ponder}, {Consider}, {Muse}.
    Usage: To consider means to view or contemplate with fixed
           thought. To ponder is to dwell upon with long and
           anxious attention, with a view to some practical
           result or decision. To muse is simply to think upon
           continuously with no definite object, or for the
           pleasure it gives. We consider any subject which is
           fairly brought before us; we ponder a concern
           involving great interests; we muse on the events of
  2. \Pon"der\, v. i.
    To think; to deliberate; to muse; -- usually followed by on
    or over. --Longfellow.
Computing Dictionary

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].

Thesaurus Terms
 Related Terms: appraise, back down, balance, be abstracted, brood, brood over, chaw, chew over, chew the cud, cogitate, con over, consider, contemplate, debate, deliberate, deliberate over, deliberate upon, demur, digest, dwell, evaluate, excogitate, falter, fear, hang back, hem and haw, hesitate, hover, hum and haw, introspect, jib, meditate, meditate upon, mind, mull over, muse, muse on, muse over, pause, perpend, play around with, play with, ponder over, pull back, reason, reflect, reflect over, retreat, revolve, roll, ruminate, ruminate over, run over, scruple, shilly-shally, shy, speculate, stick at, stickle, stop to consider, straddle the fence, strain at, study, think, think over, think twice about, toy with, turn over, weigh, withdraw, yield