英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

ponder    音标拼音: [p'ɑndɚ]
v. 沉思,默想,细想;衡量,估量

沈思,默想,细想;衡量,估量

ponder
v 1: 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" [synonym: {chew
over}, {think over}, {meditate}, {ponder}, {excogitate},
{contemplate}, {muse}, {reflect}, {mull}, {mull over},
{ruminate}, {speculate}]

Ponder \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.]
[1913 Webster]
1. To weigh. [Obs.]
[1913 Webster]

2. To weigh in the mind; to view with deliberation; to
examine carefully; to consider attentively.
[1913 Webster]

Ponder the path of thy feet. --Prov. iv.
26.
[1913 Webster]

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
childhood.
[1913 Webster]


Ponder \Pon"der\, v. i.
To think; to deliberate; to muse; -- usually followed by on
or over. --Longfellow.
[1913 Webster]

71 Moby Thesaurus words for "ponder":
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

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


请选择你想看的字典辞典：
单词字典翻译
Ponder查看　Ponder　在百度字典中的解释百度英翻中〔查看〕
Ponder查看　Ponder　在Google字典中的解释Google英翻中〔查看〕
Ponder查看　Ponder　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:







中文字典-英文字典  2005-2009