DWIM
/
dwim / [
acronym , "
Do What I Mean " (
not what I say )]
1 .
Able to
guess ,
sometimes even correctly ,
the result intended when
bogus input was provided .
2 .
The BBNLISP /
INTERLISP function that attempted to accomplish
this feat by correcting many of the more common errors .
See
{
hairy }.
3 .
Occasionally ,
an interjection hurled at a balky computer ,
especially when one senses one might be tripping over
legalisms (
see {
legalese }).
Warren Teitelman originally wrote DWIM to fix his typos and
spelling errors ,
so it was somewhat idiosyncratic to his
style ,
and would often make hash of anyone else '
s typos if
they were stylistically different .
Some victims of DWIM thus
claimed that the acronym stood for "
Damn Warren '
s Infernal
Machine !'.
In one notorious incident ,
Warren added a DWIM feature to the
command interpreter used at {
Xerox PARC }.
One day another
hacker there typed "
delete *$"
to free up some disk space .
(
The editor there named backup files by appending "$"
to the
original file name ,
so he was trying to delete any backup
files left over from old editing sessions .)
It happened that
there weren '
t any editor backup files ,
so DWIM helpfully
reported "*$
not found ,
assuming you meant '
delete *'".
It
then started to delete all the files on the disk !
The hacker
managed to stop it with a {
Vulcan nerve pinch }
after only a
half dozen or so files were lost .
The disgruntled victim later said he had been sorely tempted
to go to Warren '
s office ,
tie Warren down in his chair in
front of his workstation ,
and then type "
delete *$"
twice .
DWIM is often suggested in jest as a desired feature for a
complex program ;
it is also occasionally described as the
single instruction the ideal computer would have .
Back when
proofs of program correctness were in vogue ,
there were also
jokes about "
DWIMC " (
Do What I Mean ,
Correctly ).
A related
term ,
more often seen as a verb ,
is DTRT (
Do The Right Thing );
see {
Right Thing }.
[{
Jargon File }]
安裝中文字典英文字典查詢工具!
中文字典英文字典工具:
複製到剪貼板
英文字典中文字典相關資料:
Trump: ‘When oil prices go up, we make a lot of money’ President Trump argued the U S benefits when oil prices go up on Thursday amid growing concerns over the impact of Washington’s operation in Iran on energy costs
Trump touts oil price gains, saying we make a lot of money, angering . . . Trump, a Republican, wrote on social media: "The United States is the largest Oil Producer in the World, by far, so when oil prices go up, we make a lot of money "
Trump Brags About High Oil Prices as Americans Balk at the Pump . . . - Yahoo Before the ongoing conflict with Iran, Donald Trump bragged about bringing down gas prices But on Thursday, the president turned that brag on its head
Trump brags about US making a lot of money when oil prices rise President Donald Trump on Thursday touted the benefits of rising oil and gas prices amid the Iran war after Tehran closed the Strait of Hormuz, saying that it is worth the cost of keeping
Trump suggests high oil prices are a positive after bragging . . . - PBS The about-face comes as Trump's team has struggled to offer a clear plan for opening up the critical Strait of Hormuz so that tankers full of oil and natural gas are no longer stranded
Trump Says Rising Oil Prices “Benefit” US as Americans . . . - Truthout President Donald Trump is downplaying Americans’ concerns about rising oil and gas prices as a result of the U S -Israel war on Iran, claiming in a recent social media post that the price increases would somehow benefit the U S
Trump touted falling gas prices but now says we make a lot of money . . . President Donald Trump says all the time that gas prices are dropping on his watch, but with the Iran war, he says rising oil costs are good for America
Trump pivots to celebrate rising oil prices: We make a lot of money President Donald Trump pivoted on concerns over rising oil prices, saying that it was poised to make the United States “a lot of money ”
Trump desperately tries to convince America rising oil prices are . . . - MSN “The United States is the largest Oil Producer in the World, by far, so when oil prices go up, we make a lot of money,” Trump wrote in a Truth Social post Thursday morning, suggesting
Trump says as largest oil producer, US benefits when oil prices rise . . . Trump says US 'largest oil producer in the world,' but priority remains stopping Iran nuclear capabilities President Donald Trump says when oil prices go up, 'we make a lot of money'