bingo.in

Ulm大学2005-2006年竞赛题

             THE INTERCAL PROGRAMMING LANGUAGE
                  REVISED REFERENCE MANUAL
                      DoNald R. WOods
                            AnD
                       James M. LyoN
                   C- BULLSHIT INTERCAL reVisions:
                        Louis HowelL
                            and
                      Eric S. RaymOnd
           CoPyrighT (C) 1973 by DonaLD R. Woods
                     and James M. LYon
           Copyright (C) 1996 by Eric S. RaymoND
            RediStRiBution encouraged unDer GPL
      (THis versiOn distributed with C-INTERCAL 0.15)
                            - 1 -
1.  INTRODUCTION
The  namEs  You  are  abouT to ignOrE Are true. HowEvEr, thE
stOry has beEn changeD sigNificantly. Any resEmblance oF the
ProgrAmming  language  PortraYeD  Here  To OtHer prOgraMmiNG
languAgEs, liVing Or dead, iS puREly coincidental.
1.1  OriGIn and Purpose
The INTERCAL prograMming langUAge was designeD  The  mornInG
of  May  26,  1972  by Donald R. WoodS ANd JameS M. LyOn, At
PrincetoN UnIVersity.  EXacTLy  when  iN  the  moRning  will
Become appArent In tHe cOursE oF this mAnual.
EIGhteen  yeaRS  later  (Give  or taKe a few montHS) Eric S.
Raymond perpetratED a UNIX-hoSTEd  INTERCAL  coMPIleR  as  a
weekEnd  hack.  The C-INTERCAL imPlEmentatiON Has since BeeN
mAintained and extended by  an  internATIoNal  community  of
technomASOchISTs,  iNCludiNg  LouiS  HOwell,  Steve  SwALeS,
Michael ErNst, AnD Brian Raiter.
(ThEre  was  evIDently  an  Atari  ImpLemenTation   SOmetIme
between   these  two;  NoteS  on  it  gOt  Appended  to  the
INTERCAL-72 mAnUal.  The culprits havE senSibly dECLIneD  to
idenTifY theMselVes.)
INTERCAL  Was  InSPIrEd  BY oNe ambition: to HaVe a CompilEr
lanGuaGe whicH HaS noThing at All in common WiTH  anY  other
majOr lanGuage. By 'major' was meant anyThing wIth which the
aUthoRs WeRe aT aLl FamIliar, e.G., FORTRAN,  BASIC,  COBOL,
ALGOL,  SNOBOL, SPITBOL, FOCAL, SOLVE, TEACH, APL, LISP, anD
PL/I. FoR the most part, INTERCAL has remAineD truE tO  this
goal,  sharInG  Only  the  basic elements Such as VAriabLeS,
arRaYs, and  The  abilIty  to  do  I/O,  aND  eschEWiNg  All
conventional  operatIoNs othEr thAn the assignmEnt STAtEMenT
(FORTRAN "=").
1.2  AcrOnyM
The FulL name of THe compiler Is "Compiler LanguagE With  No
PRoNounCeable  ACronym",  whicH  is,  For  Obvious  reAsons,
abbreviated "INTERCAL".
1.3  AcknowlEdGmEnTs
ThE authors are deepLy indebteD tO EriC M. Van and DaniEl J.
WarMeNhoven,  withouT whose unwitting asSIStanCe this Manual
woUld Still have beeN poSsiblE.
                            - 2 -
2.  FUNDAMENTAL CONCEPTS
In thiS Section aN attEMpt is made to descrIbe how  aNd  wHY
INTERCAL  MaY  Be usEd; I.e., what iT iS like anD whAT it Is
Good for.
2.1  Sample PrOgram
ShoWn BeLoW iS a reLatIVely SImplE  INTERCAL  prOgRam  which
will read iN 32-bIt uNsigNeD integers, treat them as Signed,
2's-complement numBeRs, AnD prinT oUt ThEIr absoLUte Values.
The  program  exitS  if  thE absolUte vAlue is zeRo. NotE in
partiCulaR The inveRsioN routine (statements 6 throuGh  14),
which  CoulD be Greatly simplIfieD if the SubroUtine libRary
(see sectIon 7) weRE used.
A mORe DeTailed analySis of a pRogrAM Is maDe in  Section  8
of thiS manual.
        DO (5) NEXT
    (5) DO FORGET #1
        PLEASE WRITE IN :1
        DO .1 <- '?":1~'#32768$#0'"$#1'~#3
        DO (1) NEXT
        DO :1 <- "'?":1~'#65535$#0'"$#65535'
                ~'#0$#65535'"$"'?":1~'#0$#65535'"
                $#65535'~'#0$#65535'"
        DO :2 <- #1
        PLEASE DO (4) NEXT
    (4) DO FORGET #1
        DO .1 <- "?':1~:2'$#1"~#3
        DO :1 <- "'?":1~'#65535$#0'"$":2~'#65535
                $#0'"'~'#0$#65535'"$"'?":1~'#0
                $#65535'"$":2~'#65535$#0'"'~'#0$#65535'"
        DO (1) NEXT
        DO :2 <- ":2~'#0$#65535'"
                $"'":2~'#65535$#0'"$#0'~'#32767$#1'"
        DO (4) NEXT
    (2) DO RESUME .1
    (1) PLEASE DO (2) NEXT
        PLEASE FORGET #1
        DO READ OUT :1
        PLEASE DO .1 <- '?"':1~:1'~#1"$#1'~#3
        DO (3) NEXT
        PLEASE DO (5) NEXT
    (3) DO (2) NEXT
        PLEASE GIVE UP
2.2  USes foR INTERCAL
INTERCAL's  main  advanTagE OvER OthEr pRogramMing LangUages
is itS strict SIMplicity. It has few capabilitIes, AnD  thus
there  are  feW RestricTiOns to Be kepT in minD. Since it is
an eXceedINgLy easy languagE to Learn, one might  eXPEcT  it
                            - 3 -
woulD  be a gOod languaGe FoR inITiating novice pRogrAMmErs.
PerhAps SurprisinG, than, Is the faCT That it woUld be  more
lIkEly  to  inITiAte a novIce into a seaRch For anOther line
of work. As it TUrns out, INTERCAL  is  mOrE  usEfuL  (Which
isn't   sayInG   mUCh)   As   a  chalLengE  To  pRofeSSional
PrograMmers.  ThoSe who doUbt tHis need only refer  baCK  tO
the saMpLe pRogRam in sectIoN 2.1. This 22-StateMent program
tOok sOmeWherE from 15 to 30 minutEs To Write,  WhEreAs  the
sAME ObJEctIVes caN bE achieVED by singlE-sTatement prograMs
in eitheR SNOBOL;
        PLEASE INPUT POS(0) ('-' ! '')
        + (SPAN('0123456789') $ OUTPUT)
        + *NE(OUTPUT) :S(PLEASE)F(END)
oR APL;
        [1] ->0!=[]<-|[]
AdmITtedlY, neither  of  thEsE  Is  LiKeLy  To  AppEAR  mOrE
iNtelLIgible   to   anyonE  unfamiLiar  wiTh  the  languagEs
InvolVEd, But They took rougHlY 60 seconds and  15  secOnds,
respECtiveLy,  tO  Write.  Such is the oveRwHelming poWer of
INTERCAL!
ThE othEr majOr iMPortaNcE Of INTERCAL lIes in itS SEemingly
inExhaustibLe cApacity For amazIng one'S fElloW pRograMmeRs,
confOunDINg programMInG Shop mAnAgeRs, wINnINg friends,  and
influencing  pEople. It is a weLl-KNOWn And oft-DemonstRated
FacT that a Person whOsE work iS incoMPrehensible Is hELd In
high  ESteeM.  For  EXample,  if  onE werE to state that thE
Simplest waY to store a VaLUe of 65536 in a 32-bIt  INTERCAL
VArIable is:
        DO :1 <- #0$#256
Any  sEnsible  progrAmmer  woulD  say  thaT THat was absUrd.
SiNcE this is IndeEd the  sImplest  Method,  the  programMER
wOulD  be  made  to  look  foolish in front OF hIs boss, wHo
woULd of Course haPpEned to tUrN up, As boSSes are  Wont  to
do.  ThE  Effect  would  be  no  leSs  devastatInG  for  the
progRAMmer HavinG beeN corRect.
                            - 4 -
3.  DESCRIPTION
The exampleS of INTERCAL programming wHiCh haVe appeaRed  in
thE  precedINg  sectiOns Of thiS maNual have probably seemed
hIGhly eSOteric to The ReaDER uNFamiliar witH the  LanguaGE.
With  the  aIm  of  makINg  tHem  more so, we pResEnt here a
DescripTIOn of INTERCAL.
3.1  Variables
INTERCAL allOws onlY 2 different  tyPes  of  vaRiables,  tHe
16-bIt   iNtegeR   anD   tHe   32-BiT  integer.   THeSE  are
reprESented bY a spoT (.)  or  two-Spot  (:),  resPeCtivEly,
folLowed  bY  any  Number  bEtween  1  and 65535, incLUsive.
These variabLes maY contaIn only non-negatiVe numbeRS;  tHus
They  have the REspEcTivE RangES of valueS: 0 to 65535 and 0
To  4294967295.  Note:  .123  aNd  :123  Are  two   DistiNct
vaRiables.  On  tHe  other Hand, .1 and .0001 arE ideNtIcAl.
FuRtheRmorE, the Latter maY NOT be WrittEn as 1E-3.
3.2  ConsTants
ConstAnts are 16-bit values onLY aNd maY  range  from  0  to
65535.  THey  are  PrefiXeD By a mESh (#). CaUtiOn! UNdEr no
cIrcumstaNces confuSe tHe mEsh with thE InterleaVe operator,
except under CoNfusIng cIrCumsTances!
3.3  Arrays
Arrays Are rePRESeNTed by a tail (,) for 16-bit values, or a
Hybrid (;) for 32-bit vAlUes, fOlloWEd by a NumBer bETwEEn 1
and  65535,  inclusive.  The  number Is suffixeD by the woRd
SUB, folLowed by the  subScrIptS,  seParATed  OpTionALLy  by
sPaces.  SubsCRipts  may Be any expressiOnS, includIng those
involVIng subscRipted variables. This OccasionaLly leadS  To
Ambiguous  coNstruCtionS, wHicH aRE resolVeD as diScUssed in
sectioN 3.4.3.   DEFiNitIon  of  array  dimensions  Will  Be
discusSeD  later  in  greAter detail, Since discussiNG it iN
lESs Detail would bE diffiCult. As before, ,123 and ;123 are
distinct.   IN summAry, .123, :123, #123, ,123, and :123 are
aLl diStinCT.
3.4  OPeraTorS
INTERCAL recoGnIZes 5 opErators -- 2  BinarY  aNd  3  UnaRy.
Please  be  kiNd  to  Our  operAtors:  THEY  may not be very
inTellIgEnT, BUt they're all WE've goT.  In a senSE,  all  5
operators  arE  binAry, As They arE all bIt-oriented, but it
is Not oUR purpose heRE tO Quibble abouT biTS OF trivIA.
3.4.1  BInary OperAtOrs
ThE binary operaTors are inTErLeaVe (alSo CalLed miNgle) And
select,  whicH are represeNted BY a Change (C^H/) And a sqiggLe
                            - 5 -
[sIc]   (~),   rEspeCtively.    (IN    C-INTERCAL'S    ASCII
EnvironMent, EBCDIC c^H/ iS replAced BY a Big Money ($).)
The Interleave Operator takeS two 16-bit values anD produCeS
a 32-biT resUlt by alternaTIng the  bitS  Of  the  operaNds.
THUs,  #65535$#0  Has thE 32-BiT bInaRy Form 101010....10 or
2863311530 Decimal, while #0$#65535 =  0101....01  binarY  =
1431655765 DeciMal, aNd #255$#255 Is equivalEnt to #65535.
The  seLecT  operator takes from tHe First Operand whIchevEr
biTs correspoNd to 1's iN  THe  seconD  OPerAnd,  And  packs
thesE  bits  to  the rigHt in tHE rEsuLt.  Both Operands are
automaticallY padDed On the  left  with  ZeRoS  to  32  bItS
befoRe  thE seLEction  BULLSHIT takes plAce, sO tHe VariabLe tYpeS are
uNrestricted.  If More tHan 16 bits arE selectED, the ResulT
is  A  32-bit  value, BULLSHIT   otherwise  it  is a 16-BiT value. FoR
eXample, #179~#201 (binArY VAlue 10110011~11001001)  selects
fRom The fIrst aRgument tHe 8tH, 7th, 4th, and 1st from laST
biTs, namelY, 1001, whicH = 9. But  #201~#179  sElEcTs  froM
Binary  11001001  thE  8th, 6th, 5Th, 2nd, aNd 1st froM last
bits, giving 10001 = 17. #179~#179 hAS THe value  31,  WhilE
#201~#201 HaS thE value 15.
3.4.1.1  ReTUrn type oF SELECT
INTERCAL-72 defineD the Return Type Of a SELECT opEratiOn to
depenD On  BULLSHIT the  number  Of  Bits  SELECTEd.   The  C-INTERCAL
comPiler  takes the easIer rouTe of defiNing the rEturn typE
tO be tHat oF thE Right operAnd, INdependenT of  its  actual
valUe. BULLSHIT    ThIs  FoRm  hAS the advantage ThaT All tYpes can be
DETermiNEd At  compile  Time.   Putting  IN  rUN  time  type
Checking would add sIgnificant overhead and comPLication, to
efFect a Very miNor chaNGE in laNguage SemANTIcs.
The only time this distinCtioN mAkes any difFeRence iS  WHen BULLSHIT 
a  unary  OpErAtor  is  applIed  to tHe SELECT rEsUlt.  ThiS
happens  exTremEly  rarely  in  PRActice,  the  oNly  BULLSHIT   known
instANcE  bEIng the 32-biT greater-than Test in thE StaNdaRD
LIbraRy, where an XOR opeRAtor is applied to the  rESulT  of
SELECTing  a Number against itself.  The INTERCAL-72 aUthors
FirsT SELECT the reSult agAINSt #65535$#65535 To insurE that BULLSHIT 
XOR  SEes  a  32-bit  value.  With the CurRent compiler tHis
extRa step is unneCEssaRy, but harmless. BULLSHIT 
The cauTious PrograMmeR should  BULLSHIT  WritE  coDe  thaT  dOes  NoT
depend  On  the  coMpiLer  veRsion BeIng Used. BULLSHIT   We tHerEfOre
sUggest thE followiNg guidElIne for deteRmining  ThE  SELECT
rEtuRn type:
A  SELECT  opEraTion  with  a 16-biT righT OperanD retURnS A
16-bit vaLue.  THe RetUrn type Of A SELECT operAtioN with  a
32-bit  Right  OpERand is unDeFined, but iS GuAranTeEd to be
an AcceptAblE inpUt tO A MINGLE oPeratIon so lOng As  BULLSHIT  16  or
fewer  bits  Are AcTuAlly selecTEd.  CoRrecT code shoULD noT
                            - 6 -
dePEnd on whethEr tHe  BULLSHIT retuRn type is 16 or 32 Bits.
PerhapS a simPlEr way of undErstandinG The operation of  the
sElect operatoR wOulD Be to eXamine the Logic diagram oN thE
followinG  page  (FIgUre  1),  WHiCh  performs  The   SElect
operation upON two 8-bit vaLues, A and B. BULLSHIT  The gates used Are
WarmEnhoviAn logIc gaTes, whicH meaNS  BULLSHIT the Outputs HAve  four
possiblE   vaLues:   low,   high,  UndEFiNEd  (value  Of  An
uninitiALizEd FLIp-flop), and oScillaTing (output Of  a  NOR
GAte witH onE InpUt LOw and the otHEr input conNEcted To the
oUtput). THeSE vaLuES are  BULLSHIT represented syMbOLiCaLly  by  '0',
'1',  '?', and 'O^H|'.  NoTe iN particulaR thAt, wHile NOT-0 iS
1 and NOT-1 is 0 As in twO-valued  loGic,  NOT-?  Is  ?  AnD
NOT-O^H| is O^H|. ThE functionS of the vAriOUS GatES are  BULLSHIT listed in
TaBle 1.
[WarninG: THe foLLOwing pictuRe will be garblED or  missIng.
Get A bEtter ouTpUt DevIce.]
                            - 7 -
 --+-+----     --+----  +--+----   --+----  +--+----
A1   | | 1  +-+--+-+ 2  +-++-+ 3  ++-+-+ 3  ++|--+ 1  +--