meaning of ponders

1. To weigh.
2. To weigh in the mind; to view with deliberation; to examine carefully; to consider attentively.
3. To think; to deliberate; to muse; -- usually followed by on or over.
4. Ponder A non-strict polymorphic, functional language by Jon Fairbairn cam. ac. uk>. Ponders 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 Girards 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, ightarrow, 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]. Pong A computer game invented in 1972 by Ataris Nolan Bushnell. The game is a minimalist rendering of table tennis. Each of the two players are represented as a white slab, controllable by a knob, which deflects a bouncing ball. The goal of the game is to "AVOID MISSING BALL FOR HIGH SCORE". Yahoo http://www. yahoo. com/Recreation/Games/Video_Games/Classic_Arc
5. 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"

Related Words

ponder | ponderability | ponderable | ponderal | ponderance | ponderary | ponderate | ponderation | pondered | ponderer | pondering | ponderosa | ponderosa pine | ponderosities | ponderosity | ponderous | ponderously | ponderousness |

Developed & Maintained By Taraprasad.com