Get Affordable VMs - excellent virtual server hosting

browse words by letter
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

pondermore about ponder


  5  definitions  found 
  From  Webster's  Revised  Unabridged  Dictionary  (1913)  [web1913]: 
  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.] 
  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 
  From  Webster's  Revised  Unabridged  Dictionary  (1913)  [web1913]: 
  Ponder  \Pon"der\,  v.  i. 
  To  think;  to  deliberate;  to  muse;  --  usually  followed  by  on 
  or  over  --Longfellow. 
  From  WordNet  r  1.6  [wn]: 
  v  :  think  about  at  length  and  in  depth;  "I  mulled  over  the 
  events  of  the  afternoon"  [syn:  {chew  over},  {think  over}, 
  {meditate},  {contemplate},  {muse},  {reflect},  {mull},  {mull 
  over},  {ruminate},  {speculate}] 
  From  U.S.  Gazetteer  (1990)  [gazetteer]: 
  Ponder,  TX  (town,  FIPS  58664) 
  Location:  33.17913  N,  97.28760  W 
  Population  (1990):  432  (167  housing  units) 
  Area:  7.1  sq  km  (land),  0.0  sq  km  (water) 
  Zip  code(s):  76259 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
  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 
  [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]. 

more about ponder