Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Front Cover
Springer Science & Business Media, 1999 - Computers - 289 pages
thetheorybehindmanythingscommonlywrittenbyfunctionalprogrammers. Oneofthemainachievementsoftheprojecthasbeentomakepeopleaware ofthefactthatmanyalgorithmscanbedescribedinadata-independentway. ThePolyPsystemintroducedinthesenotesisoneofthetranslationstothe Haskell-worldofthistheoreticalunderpinning. Thethirdlecture,onGenericProgramTransformation,canalsobeseenas anapplicationofthetheoryintroducedinlecturetwo. Manye?ciency-improving programtransformationscanbeperformedinamechanicalway,andthesewould nothavebeenpossiblewithoutinsightintothecorrectnessofsuchtransfor- tionsgainedinthelectureonGenericProgramming. Thefourthlecture,onDesigningandImplementingCombinatorLanguages, introducesaneasytowriteformalismforwritingdownthecatamorphismsint- ducedinearlierchapters. Itisshownhowquitecomplicatedcatamorphisms,that at?rstsightseemratherforbiddingbymakingextensiveuseofhigher-orderdo- VI Preface mains,canactuallybedevelopedinastep-wisefashion,usinganattributegr- marview;itisfurthermoreshownhowtorelatethiswayofprogrammingwith conceptsfromtheobject-orientedworldthusmakingclearwhatthestrengths andweaknessesofeachworldare. The?fthlecture,titledUsingMetaML:AStagedProgrammingLanguage, introducestheconceptofpartialevaluation. Itservesasanotherinstanceof thequestfor“themostgenericofwritingprogramsatthelowestcost”. The stagingtechniquesshowhowcoststhatwereintroducedbyaddingextralevels ofabstraction,maybemovedfromrun-timetocompile-time. Ithasbeencommonknowledgetousersofmodernfunctionallanguagesthat thetypesystemcanbeagreathelpinshorteningprogramsandreducingerrors. Intheextremeonemightseeatypeasapredicatecapturingtheproperties ofanyexpressionwiththattype. InthesixthlectureonCayenne–Spiceup yourProgrammingwithDependentTypesitisshowninwhatdirectionfunctional languagesaremostlikelytodevelop,andwhatmaybeexpectedofthenewtype systemstobeintroduced. Thelastlecture,titledHaskellasanAutomationController,showsthat writingfunctionalprogramsdoesnothavetoimplythatoneisboundtoremain isolatedfromtherestoftheworld. Beingabletocommunicatewithsoftware writtenbyothersinauniformway,isprobablyoneofthemostinteresting newdevelopmentsincurrentcomputerscience. Itappearsthattheconceptofa monadtogetherwiththeHaskelltypingrules,isquiteadequatetodescribethe interfacebetweenHaskellprogramsandtheouterworld. Finallywewanttothankeveryonewhocontributedtothisschoolandmade itsuchasuccessfulevent:sponsors,localsystemmanagers,localorganizers, students,andlastbutnotleastthelecturers. Weareconvincedthateveryone presentattheschoolenjoyedthiseventasmuchaswedid,andweallhopethat youwillfeelsomeofthespiritofthiseventwhenstudyingtheselecturenotes. March1999 DoaitseSwierstra PedroHenriques Jos´eOliveira VII Sponsorship Theschoolhasreceivedgeneroussponsorshipfrom: FCT-Fundac˜¸aoparaaCiˆenciaeTecnologia,Minist´eriodaCiˆenciae Tecnologia AdegaCooperativadePontedeLima AgˆenciaAbreu CGD-CaixaGeraldeDep´ositos CIUM-CentrodeInform´aticadaUniversidadedoMinho DI-DepartamentodeInform´aticadaUniversidadedoMinho GEPL-GrupodeEspeci?cac˜¸aoeProcessamentodeLinguagens LESI-Direc¸c˜aodeCursodeEngenhariadeSistemaseInform´atica Enabler Lactolima Latic´?niosdasMarinhas,Lda NovabasePorto-SistemasdeInforma¸c˜aoSA PrimaveraSoftware ProjectoCamila-GrupodeM´etodosFormais Sidereus-SistemasdeInforma¸c˜aoeConsultoriaInformat´icaLda SIBS-SociedadeInterbanc´ariadeServico¸s VieiradeCastro LocalCommittee: Jos´eAlmeida,Minho Lu´?sBarbosa,Minho Jos´eBarros,Minho M. Joao ˜ Frade,Minho PedroHenriques,Minho F. M´arioMartins,Minho F. LuisNeves,Minho CarlaOliveira,Minho JorgePinto,Lix JorgeRocha,Minho CesarRodrigues,Minho Joa˜oSaraiva,Minho M. Joa˜oVaranda,Minho IX TableofContents SortingMorphisms. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 LexAugusteijn 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 MorphismsonLists. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
III
2
V
4
VI
5
VII
6
VIII
7
IX
9
XI
10
XCV
177
XCVII
181
XCVIII
184
XCIX
185
C
187
CI
188
CII
193
CIII
196

XII
11
XIII
12
XIV
13
XVI
14
XVIII
15
XIX
16
XX
18
XXII
19
XXIII
20
XXV
21
XXVI
23
XXVII
28
XXVIII
29
XXIX
30
XXX
33
XXXI
35
XXXII
36
XXXIV
43
XXXV
46
XXXVI
54
XXXVII
67
XXXVIII
68
XXXIX
69
XL
70
XLI
72
XLII
73
XLIII
75
XLIV
76
XLV
83
XLVI
85
XLVII
89
XLVIII
94
L
95
LI
99
LII
101
LIII
104
LIV
116
LVI
117
LVIII
118
LIX
119
LX
120
LXI
125
LXIII
128
LXIV
131
LXV
133
LXVI
134
LXVIII
135
LXIX
138
LXX
140
LXXI
143
LXXIV
144
LXXVI
145
LXXIX
147
LXXX
148
LXXXIV
149
LXXXVI
150
LXXXVII
151
LXXXIX
152
XC
153
XCII
159
XCIII
170
XCIV
175
CIV
201
CV
203
CVI
207
CVII
210
CVIII
211
CIX
212
CX
213
CXI
214
CXII
215
CXIII
216
CXIV
217
CXV
218
CXVI
222
CXIX
223
CXXI
224
CXXII
225
CXXIII
226
CXXV
227
CXXVI
228
CXXVIII
229
CXXIX
231
CXXX
233
CXXXI
236
CXXXIII
238
CXXXV
240
CXXXVIII
241
CXXXIX
242
CXL
244
CXLI
246
CXLIII
247
CXLIV
248
CXLVI
249
CXLVIII
250
CXLIX
251
CL
252
CLI
253
CLII
254
CLIII
258
CLV
259
CLVII
261
CLXI
262
CLXII
264
CLXIII
266
CLXIV
268
CLXVI
269
CLXVII
270
CLXVIII
271
CLXIX
273
CLXXI
274
CLXXIII
275
CLXXIV
276
CLXXVI
277
CLXXVIII
278
CLXXXI
279
CLXXXIII
280
CLXXXIV
281
CLXXXV
282
CLXXXVII
283
CLXXXVIII
284
CLXXXIX
286
CXCI
288
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information