глагол 1) обдумывать, взвешивать 2) (ponder on / over) размышлять (над чем-либо) Например: The director is still pondering over the wisdom of accepting the contract. — Директор всё ещё думает, целесообразно ли подписывать контракт. Синоним(ы): study
verb (pondered; pondering) Etymology: Middle English, from Middle French ponderer, from Latin ponderare to weigh, ponder, from ponder-, pondus weight — more at pendant transitive verb 1. to weigh in the mind; appraise Example: pondered their chances of success 2. to think about; reflect on Example: pondered the events of the day intransitive verb to think or consider especially quietly, soberly, and deeply • ponderer noun Synonyms: ponder, meditate, muse, ruminate mean to consider or examine attentively or deliberately. ponder implies a careful weighing of a problem or, often, prolonged inconclusive thinking about a matter Example: pondered the course of action. meditate implies a definite focusing of one's thoughts on something so as to understand it deeply Example: meditated on the meaning of life. muse suggests a more or less focused daydreaming as in remembrance Example: mused upon childhood joys. ruminate implies going over the same matter in one's thoughts again and again but suggests little of either purposive thinking or rapt absorption Example: ruminated on past disappointments.
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.