principles of programming languages2007lecture外语英文电子书

《principles of programming languages2007lecture外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、ComS342PrinciplesofProgrammingLanguagesSpring2007ComS342Lecturer:Dr.MarkusLumpeDepartmentofComputerScience113AtanasoffHallhttp://www.cs.iastate.edu/~cs342TR2-3:30,Gilman1104W9(1),Gilman0312W4(2),Gilman0312TA’s:N/AGrading:problemsets,2tests,finalexamAssig

2、nments:onaweeklybasisComS342OverviewTentativecourseprogram:Introduction–basicconceptsThealgorithmicprogramminglanguageSchemeInductivesetsofdataThelambda-calculus–thecorelanguageofsequentialprogrammingRecursionandfixedpointsTypereconstructionalgorit

3、hmsDataabstraction,representationstrategiesfordatatypesInterpretersTypes,typechecking,andtypeinferenceObjectsandclasses(optional)Continuation-Passingstyle(optional)ComS342TheAlgorithmicLanguageSchemeOverviewDrScheme,ChezScheme,SLIB,andEOPL2-extensi

4、onsFeaturesofSchemeExpressionsDatatypesProceduresReferences5RevisedReportontheAlgorithmicLanguageScheme.DanielP.FriedmanandMatthiasFelleisen,“TheLittleSchemer”,FourthEdition,MITPress,1996HaroldAbelsonetal.,“StructureandInterpretationofComputerProg

5、rams”,MITPress,1996DanielP.Friedmanetal.,“EssentialsofProgrammingLanguages”,SecondEdition,MITPress,2001ComS342ChezScheme,SLIB,andEOPL2-extensionsDrScheme(orChezScheme)isacompletehigh-performanceimplementationofANSI/IEEEstandardScheme.SLIBisaportableSc

6、hemelibrarymeanttoprovidecompatibilityandutilityfunctionsforallstandardSchemeimplementations.RunningChezScheme(ComS342):SCHEME_LIBRARY_PATH:TheSLIBlibrarydirectory.CS342LIB:TheEOPL2-extensionspathOneveryplatformusethecommand“scheme”tostartaninteracti

7、veScheme-session.Thefile“chez.prelude”defineseverythingyouneedtouseChezSchemeinComS342.Thisfileisloadedafter“chez.init”–theSLIBinitializationfile.ComS342DrSchemeComS342CS342ChezSchemeComS342SchemeSchemeisastaticallyscopedprogramminglanguage.Eachuseofa

8、variableisassociatedwithalexicallyapparentbindingofthatvariable.Schemeisadynamicallytypedlanguage.Typesareassociatedwithvaluesratherthanwithvariables.Schemehaslatentasopposedtomanifesttypes.AllobjectsinthecourseofaSche