CommonLispSpecialFormsauthor:JonLWhitefiles:[Eris]...Library>--CMLSPECIALFORMSdocumentation:CMLSPECIALFORMS.tedit/presscreated:13-Jan-84byJonLmodified:5-Oct-84,14-Nov-84,and18-Dec-84byJonLMacrosareprovidedforthefollowingCommonLispconstructs(so-called"specialforms"):LET,LET*,PROG*,PSETQ,PROGV,LIST*,DEFUN,CATCH,THROW,*CATCH,*THROW,andUNWINDPROTECT.Additionally,forefficiencyintheinterpreter,therearefunctionaldefinitionsforCATCH,THROW,andLIST*.Insofaraspossible,thesyntaxoftheseconstructsfollowsthatdescribedinthereferencemanual"CommonLisp:TheLanguage",publishedin1984byDigitalPress.LETisanalternativetoLAMBDA,whichputsthebindings"upfront"likePROGdoes;e.g.,(LET((X(MUMBLE))(Y(GRUMBLE)))(DO.FIRST.THING)(DO.LAST.THING))expandsinto((LAMBDA(XY)(DO.FIRST.THING)(DO.LAST.THING))(MUMBLE)(GRUMBLE))LET*issimilar,butthebindingshappensequentiallyratherthaninparallel.E.g.(LET*((X(MUMBLE))(Y(GRUMBLE)))(DO.FIRST.THING)(DO.LAST.THING))expandsinto((LAMBDA(X)(LAMBDA(Y)(DO.FIRST.THING)(DO.LAST.THING))(GRUMBLE))(MUMBLE))PROG*isthesimilarextensiontoPROG,namelythebindingshappen"sequentially"ratherthaninparallel.Likewise,PSETQisa"parallelSETQ",usingtheCommonLispsyntaxwhichpermitsnumerousassignmentstoappearinone"call"toPSETQ:(PSETQA(MUMBLEX)BA)willassigntoAthevalueof(MUMBLEX)andassigntoBthevaluewhichAhasbeforethecalltoPSETQ.PROGVprovidesameansforlambda-bindingalistofvariables:(PROGV

......)islikePROGNexceptthatthefirsttwoitemsinthe"arglist"areevaluatedtoobtainalistofvariablenamesandalistofvalues;thenthevariablesarebound(asSPECVARS)tothecorrespondingvalues,andtheformsinthebodyexecuted,withthevalueofthelastonebeingthereturnvalueofthePROGV.ThisfunctionsexistsprimarilyasanaidinwritingLisp-likeinterpretersinLisp. Йq?─`ҐНОp`╛Ъ Йq?─`ҐНОН ЙОg_p`╛Н ТОb5q`вН кОb5Н ТО`щН кО`щН ТО_┘НЙНЮНжНЇН"ЙН)╒Н.╛О_┘Н ТО^-Н кО^-Н ТО\уН╛Н┐НъН█Н≈О\уН ТО[}НуН#ЩН&┌Н3РО[}Н ТОZ% Н█Н.ОZ%Н ТОXмН┐НИНnН ║ОXмН ТОWuНZНю Н#ЩН'YН/©Н2DН6wОWuН ТОVН кОVН ТОTеН кОTеН ТОSmНЙНкН'НІН#Н&nН.тН4╣Н8Х НB%НB%ОSmН ТОR Н1НюН"OН&┌Н+▄Н1mН7NН=/НCНHЯНHЯОRН ТОPҐНуНІН█ОPҐН ТОOeН╛НdНю Н'YН(0Н3РН7N Н@▀НCНFlНFlОOeН ТОN НъНИНE Н&┌ Н0√Н3РН9сН?ЄНCНHЯНIхНIхОN Н ТОL╣НyНЧНZНъНEН ║Н&┌Н)Н. Н7NН>НB9НJ÷НJ÷ОL╣Н ТОK]НyНуН╛ННСН%╚Н*╣Н. Н7NН?ЄНB9НFlНHЯНHЯОK]Н ТОJН╛Н█ОJН ТОHґН кОHґН ТОGUН PНуНZ НnНСН%╚Н*╣Н.ХН2DН9сН=/НCНGCНGCОGUН ТОEЩН'Н1Н;ОEЩН ТОD╔Н кН╒НyН╛ННnНEОD╔Н ТОCMН кН╒НyН PН'НЧНуН╛Н┐Н НОCMН ТОAУН кН╒НyН PН'НnОAУН ТО@²Н кН╒НyН PН'НnО@²Н ТО?EН╛НжНґО?EН ТО=МН кН╒НyНН█ННИО=МН ТО<∙Н кН╒НyН PН'НЧНуН╛Н┐НZН1НН"OН#&О<∙Н ТО;=Н кН╒НyН PН'НЧНуН╛Н┐НZН1НН"OН#&Н#ЩО;=Н ТО9ЕН кН╒НyН PН'НЧН█НdО9ЕН ТО8█Н кН╒НyН PН'НЧ Н;О8█Н ТО75Н'Н╛Н;Н≈НСН&┌Н,cН7NН=/НAbНCГНCГО75Н ТО5щНZН1НdН;ННИНюО5щН ТО4┘Н кН╒НyН┐НъНEНО4┘Н ТО3-Н кН╒НyН PН'НЧНуН╛Н┐Н НО3-Н ТО1уН кН╒НyН PН'НnО1уН ТО0}Н кН╒НyН PН'НnО0}Н ТО/%Н╛НжНґО/%Н ТО-мН кН╒НyННdН;О-мН ТО,uН кН╒НyН PН'НЧНуН╛Н┐НZН1ННюНО,uН ТО+Н кН╒НyН PН'НЧНуН╛Н┐НZН1ННъНІН█НdН;ННИНюН)Н)чО+Н ТО)еН кН╒НyН PН'НЧНуН╛Н┐НZН1ННъНІН█НdН;ННИНюН)О)еН ТО(mН кН╒НyН PН'НЧНуН╛Н┐НZН1ННъНІН█ НйО(mН ТО'Н кН╒НyН PН'НЧНdО'Н ТО%ҐН кО%ҐН ТО$eНЧН┐НъН≈Н#ЩН&┌Н+▄Н1mН4иННFlНFlО# Н ТО!╣НуНъН;НН"OН(0Н-:Н3РН;│ НE∙НHНHО!╣Н ТО ]НуНZНІН≈НН#ЩН$тН%╚О ]Н ТОН кН╒НyН PН1НъН≈НОН ТОґН кН╒НyН PН'НЧНуН╛Н┐НZН1НъНdОґН ТОUН'НН█Н;Н≈Н ║Н#&Н)чН,cН/©Н5═Н8%Н9сН=/НB9НGCНHЯНHЯОUН ТОЩН PН1Н█НюНEН#&ОЩН ТО╔Н кО╔Н ТОMНЧН█Н;НEН ║ Н-:Н.ХН3Н5═ Н>щОMН ТОУН кН╒НyНZ Н≈ Н$тОУН ТО²Н кН╒НyН PН'НЧНуН1 НnО²Н ТОEНyН╛НІН≈НйН#&Н(0Н+▄Н0√Н3Н6wН>щНB9НJ÷НJ÷ОEН ТОМНyНZНН;НюН"OН'YН*╣Н,cН0√Н3Н9сН>НAbНIхНIхОМН ТО∙Н PНZНІНН ║Н#ЩН/©Н6wН9сН=/НB9НDЎНHНHО∙Н ТО=Н'Н█НюНН#&Н%╚Н)Н-:Н0√Н5═Н8ЭН>щНCГНFlНIхНIхО=Н ТОЕНуН╛НъНEН#&Н+▄Н.Н0√Н3РН6wН=/НE∙НE∙ОЕН ТО █НъНdНnО █Н ТО5Н кО5Н ТО щН кО щг Йq?─`Ґ2LIST*issimilartoLISTexceptthatthelastargumentisthefinalCDRoftheresultantlistratherthanthelastelement:(LIST'A'B'C)->(ABC)(LIST*'A'B'C)->(AB.C)DEFUNis,atfirstglance,analternativesyntaxforDEFINEQ:(DEFUNFOO(XYZ)...)<==>(DEFINEQ(FOO(XYZ)...))(DEFUNBARN...)<==>(DEFINEQ(BAR(LAMBDAN...)))CommonLispdoesn'tquitepermitthenotionsofNLAMBDAs,butforcompatibilitywiththevariousLispdialectsfromwhichitsprang(e.g.,MacLisp),thefollowingextensionstoDEFUNhavebeenimplemented(DEFUNBAZFEXPR(L)...)<==>(DEFINEQ(BAZ(NLAMBDAL...))Alsotheforms(DEFUNBLEHMACRO(L)...)(DEFUN(BLEHMACRO)(L)...)aresomewhatequivalenttomakeingaMACROdefinitionforBLEH;thedifferencesarethat(1)itisa"computed"macro,andallthecodebodyisdefinedunderanewinternalname,and(2)theargumentpassedtothecodebodyviathelambdavariable[inthisexample,L]willhavethenameofthemacrocons'dontothefrontofwhatwouldbepassedtoInterlisp'scomputedmacro.ThereasonforthisvariationisthatMacLisp'smacrosreceiveasargumentthepointertotheconscellthatthemacroexpanderisworkingon,ratherthanjustthecdrofthatcell.Oneadditionalnon-standardformatisimplementedalso:(DEFUN(MUMBLEGRUMBLE)(...)...)willputthefunctionaldefinitionunderanewinternalname,andputapointertothatdefinitionastheGRUMBLEpropertyofthelitatomMUMBLE.[Whencompilingsuchaform,MacLisp(andothers)alsocompilethe"new,internal"name;butInterlispmaynotbeabletoexpressthisinafilepkgCOMSwithoutmoredevelopment.]CATCHprovidesareturnpointforanon-lexicallyinitiatedexitfromitsscope.Forexample(CATCH'SOMETAG)setsupadynamicscopingforthe"tag"SOMETAG,andifatanytimeduringtheexecutionofthereisacall(THROW'SOMETAG)thentheCATCHwillbeexitedwithasitsvalue;butifnosuchTHROWisexecuted,thenthenormalreturnvalueofwillbethevalueoftheCATCH.BothCATCHandTHROW"evaluatetheirarguments",butCATCHdoessoinawaythatthefirstargument,thetag,isavailableduringtheevaluationofthesecondargument.*CATCHand*THROWareprovidedasmacrosforcompatiblitywithMacLispandFranz.UNWINDPROTECTisverysimilartoRESETLST/RESETSAVE--(UNWINDPROTECT......)willevaluate,anduponexitwillexecutealltheremainingformsinthelist--theso-called"cleanupcode"."Exiting"alsomeansanabortingduetoRESET(orHARDRESET)oranyerror.Unfortunately,theInterlispRETFROMandRETTOdonotcurrentlyexecutetheresetsaveformsunderaresetlstwhenretfrom'ingaframehigherinthestackthantheonewiththeresetlstinit;thishastheeffectthataTHROWtoaframehigherthananUNWINDPROTECTwillcurrentlynotactuallydoitscleanupforms.CAVEAT:CommonLispislexicallyscoped;butInterlispdoesn'tprovideamechanismcapableoffullyimplemetingthelexicalscopinginherentinPROGV,CATCH,andUNWINDPROTECT.SoonemustbepreparedforthesortoflimitationsonsuchcodingthatisencounteredwithERSETQinInterlisp.Н кО щН ЙОg,q`вН ТОh└Н кОh└Н ТОb5НЧН┐Н;НюНСН$тН)Н,cН0√Н8%Н:╙Н>НCНFlНHЯНHЯОb5Н ТО`щН PНІНИНйН#ЩН'YН+▄Н3Н3РН4иО`щН ТО_┘Н кН╒НyН PНZНъНdНюНEНйН!xН"OН$тО_┘Н ТО^-Н кН╒НyН PН1НІН;Н≈НН ║Н"OН#ЩН&┌О^-Н ТО\уН кО\уН ТО[}НЧНZНъНИН ║Н#& Н-:Н3Н6wН>О[}Н ТОZ%Н кН╒Н┐НъНdНН≈НйН ║Н!xН%╚Н-:Н1mН3РН5═Н8%Н=/ОZ%Н ТОXмН кН╒Н┐НъН█НюН≈НnНEННСНйН ║Н!xН%╚Н-:Н1mН8%Н9сН?ЄОXмН ТОWuНуННюНйН%╚Н)Н/©Н2DН:╙Н>НAbНAbОWuН ТОVНІНИНEН#ЩН(0Н/©Н3РН8ЭН;│НAbНGCНGCОVН ТОTеНZНІН Н'YН)чН.ХН3Н7N НAbОTеН ТОSmН кН╒Н┐НъНИНEН!xН%╚Н-:Н1mН8ЭН:╙Н?ЄОSmН ТОRН кОRН ТОPҐН'Н┐Н█ОPҐН ТОOeН кН╒Н┐НІНюНН"OН#&Н#ЩОOeН ТОN Н кН╒Н┐Н█НnНйН#ЩОN Н ТОL╣Н PНъ НН ║Н'YН)Н. Н7NН:╙Н?ЄНCНCОL╣Н ТОK] ННdН≈НСН!xН#ЩН%╚ Н.ХН4иН8%Н;│Н>щНCНGCНIхНIхОK]Н ТОJН╛НІНdНюН"OН'YН*╣Н.Н1mН8ЭН>щНAbНDЎНHЯНHЯОJН ТОHґН'Н┐НъНюН"OН%╚Н)чН1mН3РН8%НщНE∙НHНHОEЩН ТОD╔Н┐НъН≈НН!xН%╚Н)чН.Н1mН6wН>Н@▀НGCНJ÷НJ÷ОD╔Н ТОCMНуНН;Н≈НСН!xН%╚Н*╣Н+▄Н.Х Н8%НCНHЯНHЯОCMН ТОAУНy Н█Н≈ОAУН ТО@²Н кН╒НyНZНН ║ Н-:Н1m Н:╙Н>щО@²Н ТО?EН'Н┐Нъ Н Н'YН,cН.Н1mН8ЭН>НAbНDЎНFlНFlО?EН ТО=МН╛Н1Нd Н ║Н#&Н&┌Н-:Н4иН7NН:╙НAbНHНHЯНHЯО=МН ТО<∙НЧНdН≈НEН"OН)Н-:Н3РН8%Н>щНB9НGCНGCО<∙Н ТО;=НZНdНюН#&Н&┌Н)чН,cН0√Н3Н9сН>Н@▀НB9НHЯНHЯО;=Н ТО9ЕН'НъНН$тО9ЕН ТО8█Н кО8█Н ТО75Н кО75Н ТО5щНЧН█Н;НН#&Н&┌Н(0Н3РНщНCНHЯНHЯО1уН ТО0}Н PНІН; Н$тН)чН,cН.Н2DО0}Н ТО/%Н кН╒Н┐ННСО/%Н ТО-мН'Н┐Н█НюНEН#&Н'YН,cН.ХН2DН8%Н;│Н>Н@▀НDЎНIхНIхО-мН ТО,uНyНъННnН"OН(0Н-:Н/© ННE∙НHНHО(mН ТО'НуН1НН"OН)Н,cН2DО'Н ТО%ҐН кО%ҐН ТО$eНІН;НnН#&Н%╚Н5═Н8%Н8ЭО$eН ТО# Н кН╒Нy Н Н%╚Н)Н0√Н5═Н9сО# Н ТО!╣Н'НІН#&Н&┌Н*╣Н.ХН3Н9сН=/Н@▀НHЯНHЯО!╣Н ТО ]НЧН┐НъНН≈НСН'YН.ХН4иН5═Н6wН>щНCНHНJ÷НJ÷О ]Н ТОН┐НъНdНnНй Н)Н+▄Н.ХН4иН5═Н6w НCНFlНFlОН ТОґНZННnН!xН#ЩН'YН/©Н6wН9сНB9НGCНGCОґН ТОUНЧН╛Н;Нn Н&┌Н(0Н-:Н3Н5═Н8ЭН>НB9НE∙НHЯНHЯОUН ТОЩН'Н┐НН≈НСН#&Н&┌Н)чН/©Н3РН5═Н:╙Н=/Н>щНCГНIхНIхОЩН ТО╔Н'Н╛НnН ║Н)Н,cН3РН6wН9сН@▀НFlО╔Н ТОMН кОMН ТОУН кОУН ТО²Н╛Н█НюНEН%╚Н,cН/©Н8%Н>щНE∙НGCНGCО²Н ТОEНZНН≈Н ║ Н*╣Н.Н4иН;│НCНE∙НE∙ОEН ТОМНуНІН Н%╚Н&┌Н)Н,cН0√Н3Н:╙Н>НAbНE∙НHНHОМН ТО∙ НН█НюН ║Н$тН'Y Н1mН5═Н;│Н> НGCО∙Н ТО=Н кО=Н ТОЕН кОЕН ТО █Н кО █Н ТО5Н кО5Н ТО щН кО щ ╡ Йq?─`Ґ:3Н кО щН ЙОg,q`вНI⌠Оh└НJjОh└Н ТОb5Н кОb5Н ТО`щН кО`щН ТО_┘Н кО_┘Н ТО^-Н кО^-Н ТО\уН кО\уН ТО[}Н кО[}Н ТОZ%Н кОZ%Н ТОXмН кОXмН ТОWuН кОWuН ТОVН кОVН ТОTеН кОTеН ТОSmН кОSmН ТОRН кОR Йq?─`Ґh~SNAIL ~SNAIL r l√ъj/ЪЪ²ОЭХЪЪЪЪЪЪ/{ERIS}LIBRARY>CMLSPECIALFORMS.PRESS;1JONL.PA19-Dec-84 01:52:40