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 AI | 使用 AI 处理知识的新方式 PONDER中文 (简体)翻译：剑桥词典 - Cambridge Dictionary ponder是什么意思_ponder的翻译_音标_读音_用法_例句_爱词霸在线词典 欧路词典|英汉-汉英词典 ponder是什么意思_ponder的中文解释和发音_ponder的翻译_ponder怎么读 ponder - 搜索 词典 ponder（英文单词）_百度百科 PONDER——含义、同义词和翻译| 柯林斯英语词典资源 ponder verb - Definition, pictures, pronunciation and usage notes . . . PONDER在剑桥英语词典中的解释及翻译 - Cambridge Dictionary PONDER Definition Meaning - Merriam-Webster