punt

punt v.  [from the punch line of an old joke referring to
   American football: "Drop back 15 yards and punt!"] 1. To give up,
   typically without any intention of retrying.  "Let's punt the
   movie tonight."  "I was going to hack all night to get this
   feature in, but I decided to punt" may mean that you've decided
   not to stay up all night, and may also mean you're not ever even
   going to put in the feature.  2. More specifically, to give up on
   figuring out what the {Right Thing} is and resort to an
   inefficient hack.  3. A design decision to defer solving a problem,
   typically because one cannot define what is desirable sufficiently
   well to frame an algorithmic solution.  "No way to know what the
   right form to dump the graph in is -- we'll punt that for now."
   4. To hand a tricky implementation problem off to some other
   section of the design.  "It's too hard to get the compiler to do
   that; let's punt to the runtime system."



HTML Conversion by AG2HTML.pl V2.94618 & witbrock@cs.cmu.edu