Real World OCaml：Introduction to a Flexible and Concise Programming Language

作者: Yaron 著 , Anil 著 , Jason Hickey 著

出版社: O'Reilly Media

出版时间: 2013-11

版次: 1

ISBN: 9781449323912

定价: 642.60

装帧: 平装

开本: 其他

纸张: 其他

页数: 510页

正文语种: 英语

分类: 外文古旧书>英文书>计算机与互联网

1 张插图图片

Thisfast-movingtutorialintroducesyoutoOCaml,anindustrial-strengthprogramminglanguagedesignedforexpressiveness,safety,andspeed.Throughthebook’smanyexamples,you’llquicklylearnhowOCamlstandsoutasatoolforwritingfast,succinct,andreadablesystemscode.RealWorldOCamltakesyouthroughtheconceptsofthelanguageatabriskpace,andthenhelpsyouexplorethetoolsandtechniquesthatmakeOCamlaneffectiveandpracticaltool.Inthebook’sthirdsection,you’lldelvedeepintothedetailsofthecompilertoolchainandOCaml’ssimpleandefficientruntimesystem.Learnthefoundationsofthelanguage,suchashigher-orderfunctions,algebraicdatatypes,andmodulesExploreadvancedfeaturessuchasfunctors,first-classmodules,andobjectsLeverageCore,acomprehensivegeneral-purposestandardlibraryforOCamlDesigneffectiveandreusablelibraries,makingthemostofOCaml’sapproachtoabstractionandmodularityTacklepracticalprogrammingproblemsfromcommand-lineparsingtoasynchronousnetworkprogrammingExamineprofilingandinteractivedebuggingtechniqueswithtoolssuchasGNUgdb YaronMinskyheadstheTechnologygroupatJaneStreet,aproprietarytradingfirmthatisthelargestindustrialuserofOCaml.HewasresponsibleforintroducingOCamltothecompanyandformanagingthecompany'stransitiontousingOCamlforallofitscoreinfrastructure.Today,billionsofdollarsworthofsecuritiestransactionsfloweachdaythroughthosesystems.YaronobtainedhisPhDinComputerSciencefromCornellUniversity,wherehestudieddistributedsystems.Yaronhaslectured,bloggedandwrittenaboutOCamlforyears,witharticlespublishedinCommunicationsoftheACMandtheJournalofFunctionalProgramming.HechairsthesteeringcommitteeoftheCommercialUsersofFunctionalProgramming,andisamemberofthesteeringcommitteefortheInternationalConferenceonFunctionalProgramming.

AnilMadhavapeddyisaSeniorResearchFellowattheUniversityofCambridge,basedintheSystemsResearchGroup.HewasontheoriginalteamthatdevelopedtheXenhypervisor,andhelpeddevelopanindustry-leadingcloudmanagementtoolstackwrittenentirelyinOCaml.ThisXenServerproducthasbeendeployedonhundredsofthousandsofphysicalhosts,anddrivescriticalinfrastructureformanyFortune500companies.PriortoobtaininghisPhDin2006fromtheUniversityofCambridge,AnilhadadiversebackgroundinindustryatNetworkAppliance,NASAandInternetVision.Inadditiontoprofessionalandacademicactivities,heisanactivememberoftheopen-sourcedevelopmentcommunitywiththeOpenBSDoperatingsystem,isco-chairoftheCommercialUsesofFunctionalProgrammingworkshop,andservesontheboardsofstartupcompaniessuchasAshimaArtswhereOCamlisextensivelyused.JasonHickeyisaSoftwareEngineeratGoogleInc.inMountainView,California.HeispartoftheteamthatdesignsanddevelopstheglobalcomputinginfrastructureusedtosupportGoogleservices,includingthesoftwaresystemsformanagingandschedulingmassivelydistributedcomputingresources.PriortojoiningGoogle,JasonwasanAssistantProfessorofComputerScienceatCaltech,wherehisresearchwasinreliableandfault-tolerantcomputingsystems,includingprogramminglanguagedesign,formalmethods,compilers,andnewmodelsofdistributedcomputation.HeobtainedhisPhDinComputerSciencefromCornellUniversity,wherehestudiedprogramminglanguages.HeistheauthoroftheMetaPRLsystem,alogicalframeworkfordesignandanalysisoflargesoftwaresystems;OMake,anadvancedbuildsystemforlargesoftwareprojects.Heistheauthorofthetextbook,AnIntroductiontoObjectiveCaml(unpublished). Sample Topics
An overview of what makes OCaml such a pragmatic language.
A guided tour through expressions, functions, pattern-matching and algebraic data types.
Error handling techniques with exceptions and optional types.
Programming with mutation and pure functions.
Synchronous and Concurrent I/O for event-driven servers.
Functors and first-class modules, and when to use them.
Syntax extensions and constructing Domain Specific Languages.
Tips and tricks for tuning and profiling the runtime system.
Object-oriented programming in the ML-style.
RESTful API access and common web programming idioms.
内容简介:
Thisfast-movingtutorialintroducesyoutoOCaml,anindustrial-strengthprogramminglanguagedesignedforexpressiveness,safety,andspeed.Throughthebook’smanyexamples,you’llquicklylearnhowOCamlstandsoutasatoolforwritingfast,succinct,andreadablesystemscode.RealWorldOCamltakesyouthroughtheconceptsofthelanguageatabriskpace,andthenhelpsyouexplorethetoolsandtechniquesthatmakeOCamlaneffectiveandpracticaltool.Inthebook’sthirdsection,you’lldelvedeepintothedetailsofthecompilertoolchainandOCaml’ssimpleandefficientruntimesystem.Learnthefoundationsofthelanguage,suchashigher-orderfunctions,algebraicdatatypes,andmodulesExploreadvancedfeaturessuchasfunctors,first-classmodules,andobjectsLeverageCore,acomprehensivegeneral-purposestandardlibraryforOCamlDesigneffectiveandreusablelibraries,makingthemostofOCaml’sapproachtoabstractionandmodularityTacklepracticalprogrammingproblemsfromcommand-lineparsingtoasynchronousnetworkprogrammingExamineprofilingandinteractivedebuggingtechniqueswithtoolssuchasGNUgdb
作者简介:
YaronMinskyheadstheTechnologygroupatJaneStreet,aproprietarytradingfirmthatisthelargestindustrialuserofOCaml.HewasresponsibleforintroducingOCamltothecompanyandformanagingthecompany'stransitiontousingOCamlforallofitscoreinfrastructure.Today,billionsofdollarsworthofsecuritiestransactionsfloweachdaythroughthosesystems.YaronobtainedhisPhDinComputerSciencefromCornellUniversity,wherehestudieddistributedsystems.Yaronhaslectured,bloggedandwrittenaboutOCamlforyears,witharticlespublishedinCommunicationsoftheACMandtheJournalofFunctionalProgramming.HechairsthesteeringcommitteeoftheCommercialUsersofFunctionalProgramming,andisamemberofthesteeringcommitteefortheInternationalConferenceonFunctionalProgramming.

AnilMadhavapeddyisaSeniorResearchFellowattheUniversityofCambridge,basedintheSystemsResearchGroup.HewasontheoriginalteamthatdevelopedtheXenhypervisor,andhelpeddevelopanindustry-leadingcloudmanagementtoolstackwrittenentirelyinOCaml.ThisXenServerproducthasbeendeployedonhundredsofthousandsofphysicalhosts,anddrivescriticalinfrastructureformanyFortune500companies.PriortoobtaininghisPhDin2006fromtheUniversityofCambridge,AnilhadadiversebackgroundinindustryatNetworkAppliance,NASAandInternetVision.Inadditiontoprofessionalandacademicactivities,heisanactivememberoftheopen-sourcedevelopmentcommunitywiththeOpenBSDoperatingsystem,isco-chairoftheCommercialUsesofFunctionalProgrammingworkshop,andservesontheboardsofstartupcompaniessuchasAshimaArtswhereOCamlisextensivelyused.JasonHickeyisaSoftwareEngineeratGoogleInc.inMountainView,California.HeispartoftheteamthatdesignsanddevelopstheglobalcomputinginfrastructureusedtosupportGoogleservices,includingthesoftwaresystemsformanagingandschedulingmassivelydistributedcomputingresources.PriortojoiningGoogle,JasonwasanAssistantProfessorofComputerScienceatCaltech,wherehisresearchwasinreliableandfault-tolerantcomputingsystems,includingprogramminglanguagedesign,formalmethods,compilers,andnewmodelsofdistributedcomputation.HeobtainedhisPhDinComputerSciencefromCornellUniversity,wherehestudiedprogramminglanguages.HeistheauthoroftheMetaPRLsystem,alogicalframeworkfordesignandanalysisoflargesoftwaresystems;OMake,anadvancedbuildsystemforlargesoftwareprojects.Heistheauthorofthetextbook,AnIntroductiontoObjectiveCaml(unpublished).
目录:
Sample Topics
An overview of what makes OCaml such a pragmatic language.
A guided tour through expressions, functions, pattern-matching and algebraic data types.
Error handling techniques with exceptions and optional types.
Programming with mutation and pure functions.
Synchronous and Concurrent I/O for event-driven servers.
Functors and first-class modules, and when to use them.
Syntax extensions and constructing Domain Specific Languages.
Tips and tricks for tuning and profiling the runtime system.
Object-oriented programming in the ML-style.
RESTful API access and common web programming idioms.

查看详情

Real World OCaml：Introduction to a Flexible and Concise Programming Language

内容简介:

作者简介:

目录: