The Haskell School of Music

《The Haskell School of Music》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、TheHaskellSchoolofMusic—FromSignalstoSymphonies—PaulHudakYaleUniversityDepartmentofComputerScienceVersion2.6(January2014)iTheHaskellSchoolofMusic—FromSignalstoSymphonies—PaulHudakYaleUniversityDepartmentofComputerScienceNewHaven,CT,USAVersion2.6(January2014)CopyrightcPaulHudakJanuary2011

2、,2012,2013,2014Allrightsreserved.Nopartofthispublicationmaybereproducedordistributedinanyformorbyanymeans,orstoredinadatabaseorretrievalsystem,withoutthepriorwrittenpermissionoftheauthor.Coverimage:Euterpe,theGreekMuseofMusic(attributionunknown)ContentsPrefacexv1ComputerMusic,Euterpea,and

3、Haskell11.1TheNotevs.SignalDichotomy.................21.2BasicPrinciplesofProgramming................31.3ComputationbyCalculation...................41.4ExpressionsandValues.....................81.5Types...............................101.6FunctionTypesandTypeSignatures..............111.7Ab

4、straction,Abstraction,Abstraction.............131.7.1Naming..........................131.7.2FunctionalAbstraction..................161.7.3DataAbstraction.....................191.8HaskellEqualityvs.EuterpeanEquality............221.9CodeReuseandModularity...................231.10[Advanced]P

5、rogrammingwithNumbers............242SimpleMusic282.1Preliminaries...........................282.2Notes,Music,andPolymorphism................302.3ConvenientAuxiliaryFunctions.................342.3.1ASimpleExample....................362.4AbsolutePitches.........................41iiCONTENTSi

6、ii3Polymorphic&Higher-OrderFunctions453.1PolymorphicTypes........................463.2AbstractionOverRecursiveDefinitions.............473.2.1MapisPolymorphic...................493.2.2Usingmap........................503.3Append..............................513.3.1[Advanced]TheEfficiencyandFix

7、ityofAppend...523.4Fold................................533.4.1Haskell’sFolds......................553.4.2[Advanced]WhyTwoFolds?..............563.4.3FoldforNon-emptyLists................573.5[Advanced]AFinalExample:Reverse.............583.6Currying...................